diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ $(NAME).pdf: $(NAME).dtx | |||
31 | mv TMP/*.pdf samples/ | 31 | mv TMP/*.pdf samples/ |
32 | mv $(texsamplesout)-tei.xml samples/ | 32 | mv $(texsamplesout)-tei.xml samples/ |
33 | @ echo "Build the documentation of $(NAME)..." | 33 | @ echo "Build the documentation of $(NAME)..." |
34 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null | 34 | $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null |
35 | biber $(NAME) >/dev/null | 35 | biber $(NAME) >/dev/null |
36 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | 36 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi |
37 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi | 37 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi |