#!/bin/sh
prefix=$1
set=$2
shift
shift

for page in $* ; do
	source=$page'.'$set
	target=""
	if [ -d $prefix/man$set ] ; then
		mandir=$prefix/man$set
		target=$mandir/$page'.'$set
	fi
	if [ -z $target ] ; then
		roff=nroff
		if [ -f /usr/lib/groff ] ; then
			roff="groff -Tascii"
		fi
		if [ -f /usr/local/lib/groff ] ; then
			roff="groff -Tascii"
		fi
		if [ -d $prefix/cat$set ] ; then
			mandir=$prefix/cat$set
			target=$mandir/$page.set
			$roff -man <$source >$page'.man'
			source=$page'.man'
		fi
	fi	
	echo 'Adding '$page' to '$mandir
	install -g man -m 0664 $source $target
done