Manpages of texify in Debian unstable