1 #!/bin/sh 2 3 verbose=no 4 5 if [ X"$1" = X-v ] ; then 6 verbose=yes 7 shift 8 fi 9 if [ $# != 2 ] ; then 10 echo "usage: $0 [-v] which-shell ksh.Man-file" 1>&2 11 exit 1; 12 fi 13 shell=$1 14 man=$2 15 16 case $shell in 17 sh) which=0;; 18 ksh) which=1;; 19 *) 20 echo "$0: bad shell option (must be sh or ksh)" 1>&2 21 exit 1 22 ;; 23 esac 24 if [ ! -r "$man" ] ; then 25 echo "$0: can't read $man file" 1>&2 26 exit 1; 27 fi 28 29 30 # 31 # Now generate the appropriate man page... 32 # 33 [ $verbose = yes ] && echo "$0: Generating $which man page (0=sh,1=ksh)..." 1>&2 34 35 awk 'BEGIN { ksh = '$which'; pr = 1 } 36 /^\.sh\(/ { pr = ksh - 1; next } 37 /^\.sh\)/ { pr = 1; next } 38 /^\.ksh\(/ { pr = ksh; next } 39 /^\.ksh\)/ { pr = 1; next } 40 { if (pr) print $0 } ' < $man 41 42 [ $verbose = yes ] && echo "$0: All done" 1>&2 43 44 exit 0 45