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.

diff --git a/cde/doc/util/dbtoman/dbtoman b/cde/doc/util/dbtoman/dbtoman
index 58998f34972e8a0beed1e43aff3755375f2b8d75..a76d41d322e95fe1efbb578d743572c2f09c3509 100755 (executable)
--- a/cde/doc/util/dbtoman/dbtoman
+++ b/cde/doc/util/dbtoman/dbtoman
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/ksh
 # $XConsortium: dbtoman /main/6 1996/09/15 18:58:15 rws $
 #############################################################################
 #