On Sat, 16 Jan 2010, Joern Rennecke wrote: > * tm.texi (TARGET_ARM_EABI_UNWINDER): Use @deftypevr. Can you change the text from "This hook" to "This flag" (or similar)? In general, I believe there have been one or two cases where "flag" would be the better term than just "value". Okay with this additional change. Thanks, Gerald