Paul Eggert wrote: > 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.
It is easy to turn off a rule you don't like, but once again, this suggests we should be able to add new syntax-check rules that are not enabled by default.
