diff --git a/src/environments/groupthm/Makefile b/src/environments/groupthm/Makefile index f15be87..3d5c5ae 100644 --- a/src/environments/groupthm/Makefile +++ b/src/environments/groupthm/Makefile @@ -1,18 +1,14 @@ -all: clean pdf pdf: - pdflatex groupthm.dtx - makeindex -s gind.ist groupthm.idx - pdflatex groupthm.dtx + latexmk groupthm.dtx -clean: clean-sty +full: + latexmk -gg groupthm.dtx + +clean: latexmk -c groupthm.dtx - rm -f groupthm.hd - rm -f groupthm.glo - rm -f groupthm.pdf -clean-sty: - rm -f groupthm.sty - rm -f groupthm.tdo +clean-all: + latexmk -C groupthm.dtx -.PHONY: pdf clean +.PHONY: clean, clean-all