license for gettext excerpt in po/README?

elinks/po/README contains a list of languages and appropriate
Plural-Forms headers, excerpted from GNU gettext documentation.

commit 199f683d7738403a93854063b601a4abf760c1a0
Author:     Laurent Monin <[email protected]>
AuthorDate: Thu Mar 3 10:48:00 2005 +0000
Commit:     Laurent Monin <[email protected]>
CommitDate: Thu Mar 3 10:48:00 2005 +0000

    README was updated, plural forms handling is now described.

GNU gettext 0.14.1 released in January 2004 came with the
following permission notice for documentation:

> Copyright (C) 1995-1998, 2001-2004 Free Software Foundation, Inc.
> 
> 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.
> 
> @ignore
> 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.

It seems to me that none of these permission grants is applicable
to po/README.  Was other permission received from the FSF, is the
copy believed not to require permission, or should it be removed?

_______________________________________________
elinks-dev mailing list
[email protected]
http://linuxfromscratch.org/mailman/listinfo/elinks-dev

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGofknHm9IGt60eMgRAq6eAKCmzaLIDsiSzv58jRX7i2ChDdoWpQCgwI0L
3VTrq0UhsHaOPKkpjfetygQ=
=yIOd
-----END PGP SIGNATURE-----