diff --git a/doc/environments/groupthm/Makefile b/doc/environments/groupthm/Makefile new file mode 100644 index 0000000..0e9ec61 --- /dev/null +++ b/doc/environments/groupthm/Makefile @@ -0,0 +1,12 @@ +all: clean pdf + +pdf: + pdflatex groupthm.dtx + +clean: + latexmk -c groupthm.dtx + rm -f groupthm.hd + rm -f groupthm.glo + rm -f groupthm.pdf + +.PHONY: pdf clean