On 11/16/2010 02:53 PM, Eric Blake wrote: > Here's the discussion when the syntax-check was added: > http://lists.gnu.org/archive/html/bug-gnulib/2010-03/msg00321.html
My kneejerk reaction is that we shouldn't police GNU manuals to remove instances of the acronym markup. As the Texinfo manual says (about acronym and abbr): "It's not essential to use either of these commands for all abbreviations; use your judgment." and it's fine to let documentation writers exercise their judgment here. I agree with Karl about the "deep waters" one gets into with this markup, but that's not a strong enough argument to prohibit the practice entirely.
