dbtoman: use ksh rather than sh. With working nsgmls, now we can build man pages.
authorJon Trulson <jon@radscan.com>
Wed, 20 Jun 2012 00:22:38 +0000 (18:22 -0600)
committerJon Trulson <jon@radscan.com>
Wed, 20 Jun 2012 00:22:38 +0000 (18:22 -0600)
commit4f5c5a65a7b0ca784507eac79c61cf72dddb60bf
tree2964fba33f3ab8488e852b2e0833e361ee75ede4
parent157f2e2bf7e974ac8940c7f55eabb80bfaa930f2
dbtoman: use ksh rather than sh.  With working nsgmls, now we can build man pages.

Under ubuntu at least, /bin/sh is really /bin/dash.  For some reason,
dash cannot detect an executable (-x) file if it resides on nfs.  bash
and ksh do not have this problem.  Since ksh is already required to
build and install major portions of CDE, might as well use it here too.
cde/doc/util/dbtoman/dbtoman