Re: [rant] Re: Consequences of moving Emacs Manuals to non-free

[Sven Joachim <svenjoac@gmx.de>]

Ben Pfaff wrote:
> I just downloaded make 3.80 from ftp.gnu.org, and you appear to
> be wrong about that.  Here is an excerpt from make.texi:
>
>     Permission is granted to copy, distribute and/or modify this document
>     under the terms of the GNU Free Documentation License, Version 1.1 or
>     any later version published by the Free Software Foundation; with the
>     Invariant Sections being ``GNU General Public License'', the Front-Cover
>     Texts being ``A GNU Manual'', and with the Back-Cover Texts being as in
>     (a) below.  A copy of the license is included in the section entitled
>     ``GNU Free Documentation License''.
>
> Front-cover and back-cover texts are invariant.

This does not match what I saw in /usr/share/info/make.info.gz from the Debian
package, version 3.80+3.81.rc1-1:

   Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts.  A copy of the license is included in the section entitled "GNU
Free Documentation License".

The GPL text is not included in this version of the make manual.