dbtoman: use ksh rather than sh. With working nsgmls, now we can build man pages.
[oweals/cde.git] / cde / doc / util /
drwxr-xr-x   ..
-rw-r--r-- 180 Imakefile
drwxr-xr-x - dbtoman