better makefile
This commit is contained in:
parent
7d4303cc71
commit
5bf0c39cc7
1 changed files with 1 additions and 0 deletions
|
@ -16,5 +16,6 @@ clean: clean-sty
|
|||
|
||||
clean-sty:
|
||||
rm -f groupthm.sty
|
||||
rm -f groupthm.tdo
|
||||
|
||||
.PHONY: pdf clean
|
||||
|
|
Loading…
Reference in a new issue