		Documentation
		-------------

The GMP documentation is licensed under terms of the GNU Free
Documentation License.  Sadly, Debian has decided to take a hard line
on this license: the presence of two sentences is enough to prevent
Debian from shipping the documentation.

See:
  BTS 335403
  http://lists.debian.org/debian-legal/2006/03/msg00536.html



		Preparation of DFSG source
		--------------------------

tar xzf gmp-4.2.tar.gz
rm -rf gmp-4.2/doc
mv gmp-4.2 gmp-4.2.dfsg
tar czf gmp_4.2.dfsg.orig.tar.gz gmp-4.2.dfsg
