aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b57cb54..fc30a49 100644
--- a/Makefile
+++ b/Makefile
@@ -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