Manpages of dvi2ps in Debian stretch