improved the "clean" entry
This commit is contained in:
parent
8c20d513fd
commit
db666da35a
1 changed files with 2 additions and 1 deletions
|
@ -64,4 +64,5 @@ opr:
|
|||
make pr | opr
|
||||
|
||||
clean:
|
||||
-rm -f *.old $(RESFILES) *.t *.out
|
||||
-rm -f *.old $(RESFILES) *.t *.out LLgen.doc top.doc \
|
||||
occam.doc ego.doc
|
||||
|
|
Loading…
Reference in a new issue