Modifications of the MUMmer sources in Debian.

We removed the following files before redistributing MUMmer in Debian:

 ./docs/web/MUMmer.pdf
 ./docs/web/XFiles.pdf
 ./docs/web/MUMmer2.pdf
 ./docs/web/MUMmer3.pdf

These documents are published scientific articles whose license does not comply
with our social contract, ‘http://www.debian.org/social_contract’.

We provide an automated way to download the upstream archive and remove these
files via the command ‘debian/rules get-orig-source’.

In addition to this, the MUMmer documentation is patched to accomodate with
this deletion, using the Quilt patch system. You can find instructions of use
in ‘/usr/share/doc/quilt/README.source’.

Since our modification keeps the functionality of the documentation intact, by
replacing a link to a local version of the PDF articles by a remote link, I
think that it is acceptable to not rename the documentation files (MUMmer is
released under the Artistic license version 1).

 -- Charles Plessy <plessy@debian.org> Mon, 13 Jul 2009 08:28:17 +0900
