diff options
author | John Ankarström <john@ankarstrom.se> | 2021-06-07 14:12:11 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-06-07 14:12:11 +0200 |
commit | e2294b61e15781ca784a611e8ca7dabe132ebc6d (patch) | |
tree | c2a8cc44582534f52a76b1b8e64e6f83ffa501da /mkman | |
download | ksh-e2294b61e15781ca784a611e8ca7dabe132ebc6d.tar.gz |
First commit (NetBSD 9.1)
Diffstat (limited to 'mkman')
-rw-r--r-- | mkman | 46 |
1 files changed, 46 insertions, 0 deletions
@@ -0,0 +1,46 @@ +#!/bin/sh + +: ${AWK:=awk} + +verbose=no + +if [ X"$1" = X-v ] ; then + verbose=yes + shift +fi +if [ $# != 2 ] ; then + echo "usage: $0 [-v] which-shell ksh.Man-file" 1>&2 + exit 1; +fi +shell=$1 +man=$2 + +case $shell in + sh) which=0;; + ksh) which=1;; + *) + echo "$0: bad shell option (must be sh or ksh)" 1>&2 + exit 1 + ;; +esac +if [ ! -r "$man" ] ; then + echo "$0: can't read $man file" 1>&2 + exit 1; +fi + + +# +# Now generate the appropriate man page... +# +[ $verbose = yes ] && echo "$0: Generating $which man page (0=sh,1=ksh)..." 1>&2 + +${AWK} 'BEGIN { ksh = '$which'; pr = 1 } + /^\.sh\(/ { pr = ksh - 1; next } + /^\.sh\)/ { pr = 1; next } + /^\.ksh\(/ { pr = ksh; next } + /^\.ksh\)/ { pr = 1; next } + { if (pr) print $0 } ' < $man + +[ $verbose = yes ] && echo "$0: All done" 1>&2 + +exit 0 |