maker
This commit is contained in:
parent
5c6a0fca3c
commit
028a9d8571
2 changed files with 32 additions and 23 deletions
|
@ -55,5 +55,6 @@ clean:
|
|||
-rm $(TEX_FILES) 2>/dev/null
|
||||
-rm $(HTML_FILES) 2>/dev/null
|
||||
-rm _output/* 2>/dev/null
|
||||
-rm $(foreach dir,$(DOCUMENT_NAMES),$(dir)/WARNINGS
|
||||
-rm $(foreach dir,$(DOCUMENT_NAMES),$(dir)/$(dir).emergency) 2>/dev/null
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue