diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-08-13 19:14:04 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-08-13 19:14:04 +0200 |
| commit | 722784102ab24e627277441331314c9d49810aa7 (patch) | |
| tree | 520c585caf881322428f853f23a40bd6be2771dc /Makefile | |
| parent | c74ebb2131949fc3057f9abc5250ca37037bd281 (diff) | |
| download | ekdosis-722784102ab24e627277441331314c9d49810aa7.tar.gz | |
done documenting. getting close to 1.0
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 |