From 654ef76ccd5f153e2e600ffbac9ea952b878973a Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Wed, 8 Jul 2020 14:02:00 +0200 Subject: removed references to \dummy counter --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6964926..b57cb54 100644 --- a/Makefile +++ b/Makefile @@ -39,6 +39,7 @@ $(NAME).pdf: $(NAME).dtx $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null + $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null samples: clean sty if [ ! -d $(PWD)/TMP ]; then mkdir $(PWD)/TMP; fi -- cgit v1.2.3