1 #! /bin/sh
2 root=$PLAN9/man
3 
4 while [ $# -gt 0 ] ; do
5     case $1 in
6 	[0-9]) sec="$sec $1" ;;
7 	*) break ;;
8     esac
9     shift
10 done
11 
12 if [ "X$sec" = "X" ] ; then
13     sec=`ls -d $root/man[0-9]* | sed -e 's;/$;;' -e 's;^.*/man;;'`
14 fi
15 
16 pat='^('`echo $* | sed -e 's; ;|;g'`')' ;
17 for s in $sec ; do
18     if [ -f $root/$s/INDEX ] ; then
19 	try=`grep -E $pat $root/man$s/INDEX | sed -e 's;^[^ ]* ;;'` ;
20     fi
21     if [ "X$try" != "X" ] ; then
22 	for f in $try ; do
23 	    files="$files $root/man$s/$f.$s";
24 	done
25 	try="";
26     fi
27     for f in $* ; do
28 	if [ -f $root/man$s/$f.$s ] ; then
29 	    files="$files $root/man$s/$f.$s" ;
30 	fi
31     done
32 done 
33 
34 files=`echo $files | tr ' ' '\n' | sort -u`;
35 
36 if [ "X$files" = "X" ] ; then
37     echo "No manual entry for $*";
38     exit 1;
39 fi
40 
41 exmac=".de EX\n.ift .ft 5\n.nf\n..\n.de EE\n.ft1\n.fi\n.."
42 ( echo -e $exmac ; cat $files ) | nroff -man
43