bin/9man

#! /bin/sh
root=$PLAN9/man

while [ $# -gt 0 ] ; do
    case $1 in
	[0-9]) sec="$sec $1" ;;
	*) break ;;
    esac
    shift
done

if [ "X$sec" = "X" ] ; then
    sec=`ls -d $root/man[0-9]* | sed -e 's;/$;;' -e 's;^.*/man;;'`
fi

pat='^('`echo $* | sed -e 's; ;|;g'`')' ;
for s in $sec ; do
    if [ -f $root/$s/INDEX ] ; then
	try=`grep -E $pat $root/man$s/INDEX | sed -e 's;^[^ ]* ;;'` ;
    fi
    if [ "X$try" != "X" ] ; then
	for f in $try ; do
	    files="$files $root/man$s/$f.$s";
	done
	try="";
    fi
    for f in $* ; do
	if [ -f $root/man$s/$f.$s ] ; then
	    files="$files $root/man$s/$f.$s" ;
	fi
    done
done 

files=`echo $files | tr ' ' '\n' | sort -u`;

if [ "X$files" = "X" ] ; then
    echo "No manual entry for $*";
    exit 1;
fi

exmac=".de EX\n.ift .ft 5\n.nf\n..\n.de EE\n.ft1\n.fi\n.."
( echo -e $exmac ; cat $files ) | nroff -man