Manpages of doxygen2man in Debian testing