4 while [ $# -gt 0 ] ; do
6 [0-9]) sec="$sec $1" ;;
12 if [ "X$sec" = "X" ] ; then
13 sec=`ls -d $root/man[0-9]* | sed -e 's;/$;;' -e 's;^.*/man;;'`
16 pat='^('`echo $* | sed -e 's; ;|;g'`')' ;
18 if [ -f $root/$s/INDEX ] ; then
19 try=`grep -E $pat $root/man$s/INDEX | sed -e 's;^[^ ]* ;;'` ;
21 if [ "X$try" != "X" ] ; then
23 files="$files $root/man$s/$f.$s";
28 if [ -f $root/man$s/$f.$s ] ; then
29 files="$files $root/man$s/$f.$s" ;
34 files=`echo $files | tr ' ' '\n' | sort -u`;
36 if [ "X$files" = "X" ] ; then
37 echo "No manual entry for $*";
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