#CLEANUP
#!/bin/csh

# Thanks to - David Loveman, Digital Equipment Corporation

rm -f *.log >& /dev/null
rm -f *.toc >& /dev/null
rm -f *.dvi >& /dev/null
rm -f *.aux >& /dev/null
rm -f temp.* >& /dev/null
rm -f temp1.* >& /dev/null
echo "done"

