Manpages of doschk in Debian stretch