Re: copyright-notice glitches in Texinfo 4.2 manuals

[Eli Zaretskii]

> Date: Fri, 27 Sep 2002 09:50:37 -0400
> From: address@hidden (Karl Berry)
> 
> rms, eli -- do you think we should change info.texi (and/or the other
> emacs manuals) to use the new @copying command?  Or do you want to keep
> those .texi files processable by older makeinfo's?

If we add @copying to info.texi, we should do that for all the other
manuals that come with Emacs.  Currently, only Tramp does that, and
I've seen quite a few ``bug'' reports from people who don't have
Texinfo 4.2.