1#!/bin/sh 2 3: ${AWK:=awk} 4 5verbose=no 6 7if [ X"$1" = X-v ] ; then 8 verbose=yes 9 shift 10fi 11if [ $# != 2 ] ; then 12 echo "usage: $0 [-v] which-shell ksh.Man-file" 1>&2 13 exit 1; 14fi 15shell=$1 16man=$2 17 18case $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 ;; 25esac 26if [ ! -r "$man" ] ; then 27 echo "$0: can't read $man file" 1>&2 28 exit 1; 29fi 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 46exit 0 47