#! /bin/csh
#
#            Deletes all of the man pages for the "tools"
#
set TOOLS = $TOOLSDIR 
#
# The tools are divided into 7 levels
#
set MANDIRS = "1 2 3 4 5 6 7"
#
unalias cd
if (! -e man) mkdir man

rm -f $TOOLS/docs/foo
foreach EXT ( $MANDIRS )
  if (! -e man/man$EXT) mkdir man/man$EXT
  rm -f man/man$EXT/*
end
