aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
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
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
29clean: 30clean:
30 rm -rf auto 31 rm -rf auto