Re: License for documentation
That's a special license for the texinfo output, which allows people to
distribute copies of the texinfo output for the manual without distributing
the manual source (the .texi file) as the GPL would require. The source of the
manual (the .texi file) is under the same license as the rest of the package,
which is the one in the file "COPYING".
From: David Starner <email@example.com>
> Permission is granted to make and distribute verbatim copies of
> this manual provided the copyright notice and this permission notice
> are preserved on all copies.
> Permission is granted to process this file through TeX and print the
> results, provided the printed document carries copying permission
> notice identical to this one except for the removal of this paragraph
> (this paragraph not being relevant to the printed manual).
> @end ignore
> Permission is granted to copy and distribute modified versions of this
> manual under the conditions for verbatim copying, provided that the entire
> resulting derived work is distributed under the terms of a permission
> notice identical to this one.
> Permission is granted to copy and distribute translations of this manual
> into another language, under the above conditions for modified versions,
> except that this permission notice may be stated in a translation approved
> by the Foundation.
> @end ifinfo