...> How big is docbook2man?
It is *very* small by our standards ;)
I agree that it should go into CVS so we don't lose the ability togenerate man pages.
- Thomas