From fab158f45f79d4c49533c58f5764aebd5101e74c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 30 Jan 2022 13:43:53 +0100 Subject: [PATCH] proper makefile --- src/environments/groupthm/Makefile | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) 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