There are two different license texts given at the beginning of doc/make.texi:
a) ,---- | 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''. `---- b) ,---- | 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''. | | (a) The FSF's Back-Cover Text is: | | @quotation | You have freedom to copy and modify this GNU Manual, like GNU | software. Copies published by the Free Software Foundation raise | funds for GNU development. `---- Version a) appears in online versions of the manual (Info, HTML etc.), version b) in the printed version (DVI). I see three problems here. 1) Version b) lists the ``GNU General Public License'' as an Invariant Section, but does not actually include it. This is a very serious error -- it turns redistribution of printed manuals into a violation of the GFDL. Remedy: Include the GPL text or state that there are no Invariant Sections. 2) Obviously, version a) and b) differ. This may be a mistake, and you may just bring them in sync. Otherwise, it is unclear how to interpret it. 3) GFDL version 1.1 is listed as license for the manual, but later included is the text for GFDL version 1.2. You probably want to upgrade to version 1.2 consistently. _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make