3 # putman.sh - install a man page according to local custom
4 # vixie 27dec93 [original]
6 # $Id: putman.sh,v 1.1 1994/01/05 20:40:15 jtc Exp $
11 SECT
=`expr $PAGE : '[a-z]*.\([0-9]\)'`
13 [ -d $DIR/man
$SECT ] && {
15 cp $PAGE $DIR/man
$SECT/$PAGE
19 nroff
-man $PAGE >$DIR/cat$SECT/`basename $PAGE .$SECT`.0