merge Debian changes from 3.0.7 to 3.0.10
* Build HTML, text, and PDF versions of the documentation from source. * Mention PDF and text version of the documentation in doc-base files. * Install PDF version of the documentation, too. * Install HTML version of the man page, too.
Debian directory added.