aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8a9009c..7d4e583 100644
--- a/Makefile
+++ b/Makefile
@@ -17,9 +17,9 @@ sty: clean
17 $(CMP) $(NAME).ins >/dev/null 17 $(CMP) $(NAME).ins >/dev/null
18 18
19$(NAME).pdf: $(NAME).dtx 19$(NAME).pdf: $(NAME).dtx
20 @ echo "Make the sample files first..." 20 @ echo "Making the sample files first..."
21 $(MAKE) --directory=$(SAMPLES) 21 $(MAKE) --directory=$(SAMPLES)
22 @ echo "Build the documentation of $(NAME)..." 22 @ echo "Building the documentation of $(NAME)..."
23 $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null 23 $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null
24 biber $(NAME) >/dev/null 24 biber $(NAME) >/dev/null
25 $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null 25 $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null