#!/bin/csh -f

set rootdir = `pwd`
foreach f (lib doc singutil misc/mkdist)
  echo cleaning up $f...
  cd $f;
  make clean >& /dev/null
  cd ${rootdir}
  echo done.
  echo ''
end
