24 lines
377 B
Bash
24 lines
377 B
Bash
#!/bin/sh
|
|
|
|
# putman.sh - install a man page according to local custom
|
|
# vixie 27dec93 [original]
|
|
#
|
|
# $Id: putman.sh,v 1.1.1.1 1994/01/05 20:40:16 jtc Exp $
|
|
|
|
PAGE=$1
|
|
DIR=$2
|
|
|
|
SECT=`expr $PAGE : '[a-z]*.\([0-9]\)'`
|
|
|
|
[ -d $DIR/man$SECT ] && {
|
|
set -x
|
|
cp $PAGE $DIR/man$SECT/$PAGE
|
|
set +x
|
|
} || {
|
|
set -x
|
|
nroff -man $PAGE >$DIR/cat$SECT/`basename $PAGE .$SECT`.0
|
|
set +x
|
|
}
|
|
|
|
exit 0
|