From b514de5e09ec98d3ccb1007ad8bb948ef4349317 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 20 Jan 2022 12:07:35 +0100 Subject: [PATCH] better makefile --- doc/environments/groupthm/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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