Re: copyright-notice glitches in Texinfo 4.2 manuals

[Karl Berry]

    What precisely is unusual?  Could you tell
    address@hidden about the problem so he can fix it?

The @copying command is used in a node within the body of the manual,
instead of in the front matter.  This means the info doesn't end up on
the back of the title page in the printed manual, which seems legally
problematic.

Kai, please see the Texinfo manual or any of the other emacs manuals for
an example of the usual way to use @copying.

Thanks,
karl