/* * value of $KSH_VERSION (or $SH_VERSION) */ #include "sh.h" const char ksh_version [] =	"@(#)PD KSH v5.2.14 99/07/13.2";