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