external/cde
1
0
Fork 0
mirror of git://git.code.sf.net/p/cdesktopenv/code synced 2025-03-09 15:50:02 +00:00
Code Issues Releases Wiki Activity
No description
154 commits 3 branches 25 tags 132 MiB
Find a file
Jon Trulson 4f5c5a65a7 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.
2012-06-19 18:22:38 -06:00
cde dbtoman: use ksh rather than sh. With working nsgmls, now we can build man pages. 2012-06-19 18:22:38 -06:00