Use other docbook to manpage tools.