diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |