diff --git a/doc/environments/groupthm/Makefile b/doc/environments/groupthm/Makefile index 7a033e9..75c481b 100644 --- a/doc/environments/groupthm/Makefile +++ b/doc/environments/groupthm/Makefile @@ -1,4 +1,7 @@ -all: clean-sty pdf sty +sty: + pdflatex groupthm.ins + +all: clean pdf sty pdf: pdflatex groupthm.dtx @@ -15,7 +18,4 @@ clean: clean-sty clean-sty: rm -f groupthm.sty -sty: - pdflatex groupthm.ins - .PHONY: pdf clean