Re: [PATCH] doc: Improve the copyright notice.

[Karl Berry]

    make sure the copyright notice still shows up in Info,
    HTML, and PS/PDF

It's always good to check, but like I said, that is exactly why I
invented @copying in the first place (back in 2002).  I wrote about it
in the Texinfo manual.

I think it was not working for you (if indeed it wasn't) because your
use of @copying was too late in the source file.

    visible in Info and HTML.)

It depends on what you mean by "visible".  The @copying on its own will
include the copying text as a comment in all the makeinfo output files
(Info, HTML, Docbook, XML).  That's how rms wanted it, and that's what
takes care of the legal necessities.

If you want casual readers of the manual to see the copying terms, as
well as people looking at the source, then you can use @insertcopying in
the Top node (as well as in the @titlepage, which is what takes care of
TeX).  Like I also said, rms prefers that not be done, but didn't feel
strongly enough to make it a GNU requirement either way, so it's up to you.

Best,
karl