#! /bin/csh
#
#    Starts up xman with the tools manual pages
#
if ($?TOOLSDIR == 0) set TOOLSDIR = "/home/gropp/tools.n"
(setenv MANPATH $TOOLSDIR/man ; xman -notopbox -helpfile $TOOLSDIR/bin/toolman.help $* )
