Manpages of doxygen-gui in Debian testing