Manpages of docbook-to-man in Debian wheezy