Manpages of catdvi in Debian stretch