! $Id$ ! $Name$ ! ! AUTHOR: C. Guirao ! ! NAME: clean.prg ! Remove the garbage left by MIDAS ! !******************************************************************************* ! ECHO/FULL DEFINE/LOCA cmd/c/1/20 "clean" ! ! Clean ! WRITE/OUT "{cmd}: cleaning temporary files" $ rm -f *.dat *.bdf *.tbl *.cat *.KEY *.plt $ rm -f NULL $ rm -rf core* $ rm -f IDENTI.res Mid*Pipe ! ECHO/OFF