Contradicting license informations in make.texi

[Sven Joachim]

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.