Re: Contradicting license informations in make.texi

[Eli Zaretskii]

> Date: Sun, 26 Mar 2006 13:14:49 +0200
> From: Sven Joachim <address@hidden>
> 
> 1) Version b) lists the ``GNU General Public License'' as an Invariant
>     Section, but does not actually include it.

It should mention the GFDL section (which _is_ included) instead.  I'm
guessing that when the manual was converted to GFDL, the stale
reference to GPL was left behind by mistake.

> 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.

I don't think this is a mistake: the printed version mentions cover
text because only that version actually has cover text.  But IANAL.

> 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.

It says ``version 1.1 or later'', so there's no contradiction, at
least not legally.