#!/bin/sh

# putman.sh - install a man page according to local custom
# vixie 27dec93 [original]
#
# $Id:$

PAGE=$1
DIR=$2

SECT=`expr $PAGE : '[a-z]*.\([0-9]\)'`
MDIR="$DIR/cat$SECT"
DEST="$MDIR/`basename $PAGE .$SECT`.0"

set -x
if [ ! -d $MDIR ]; then
	rm -f $MDIR
	mkdir -p $MDIR
	chmod 755 $MDIR
fi

nroff -man $PAGE >$DEST
chmod 444 $DEST
set +x

exit 0