dbtoman: use ksh rather than sh. With working nsgmls, now we can build man pages.
drwxr-xr-x - cde