Package: docbook-to-man

"docbook-to-man" package binaries on Debian:

/usr/bin/docbook-to-man /usr/bin/instant

You may install this package on Debian with apt-get install docbook-to-man