1 files changed, 1 insertions, 0 deletions
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

diff --git a/Makefile b/Makefile index 6964926..b57cb54 100644 --- a/Makefile +++ b/Makefile
@@ -39,6 +39,7 @@ $(NAME).pdf: $(NAME).dtx
39	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	39	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
40	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	40	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
41	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	41	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
		42	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
42		43
43	samples: clean sty	44	samples: clean sty
44	if [ ! -d $(PWD)/TMP ]; then mkdir $(PWD)/TMP; fi	45	if [ ! -d $(PWD)/TMP ]; then mkdir $(PWD)/TMP; fi