DOCFILE=./doclib	# You should replace . by the pathname of this
				# directory and then move the help file in a
				# place such as /usr/local/bin
export DOCFILE
if grep $1 $DOCFILE >/dev/null
then
echo "/"$1"/" "{ if(gg) ff=1}
	/^\.Le/ { if(ff) print \"--\";  ff=0 } 
	/^\.Ls/ {gg=1} /^$/ {gg=0} {if(ff) print "$""0";}" > /tmp/tmp$$
	echo ""
	awk -f /tmp/tmp$$ $DOCFILE
	echo ""
	/bin/rm /tmp/tmp$$
	echo Section numbers refer to \"Interactive Computer Graphics in X\"
	echo ""
else
echo $1 not found
fi
