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