Re: [bug-recutils] Doc patch

[Karl Berry]

    3. The existing Texinfo manual (at least the one on www.gnu.org) says:

Good point.  I'll modify the text.

    4. The GNU Coding standards should have a section this and general
       matters of typographical

The Texinfo manual tries to say what is and isn't good
style/conventional for GNU manuals in particular.  I don't want to try
to extract, let alone repeat, that information.

    Maybe a @Gnu{} macro should be defined in some common header?

Definitely not.  1) There are no common headers.  2) Macros suck.
3) There is nothing special about "GNU" as a name, the same would apply
to any all-capitals abbreviation; so there's no point in defining
something special for it.  

Thanks,
k