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