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
