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