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