From 4f5c5a65a7b0ca784507eac79c61cf72dddb60bf Mon Sep 17 00:00:00 2001
From: Jon Trulson <jon@radscan.com>
Date: Tue, 19 Jun 2012 18:22:38 -0600
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cde/doc/util/dbtoman/dbtoman b/cde/doc/util/dbtoman/dbtoman
index 58998f34..a76d41d3 100755
--- 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 $
 #############################################################################
 #
-- 
2.25.1