1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 1377980..fe0b2cc 100644
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,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
 clean:
        rm -rf auto

diff --git a/Makefile b/Makefile index 1377980..fe0b2cc 100644 --- a/Makefile +++ b/Makefile
@@ -25,6 +25,7 @@ $(NAME).pdf: $(NAME).dtx
25	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	25	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
26	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	26	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
27	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null	27	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
		28	$(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
28		29
29	clean:	30	clean:
30	rm -rf auto	31	rm -rf auto