debian/README.foilhtml.Debian
docs/manual.dvi
docs/manual.ps
docs/manual.pdf
