Manpages of doschk in Debian unstable