diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -17,7 +17,7 @@ sty: clean | |||
17 | $(CMP) $(NAME).ins | 17 | $(CMP) $(NAME).ins |
18 | 18 | ||
19 | $(NAME).pdf: $(NAME).dtx | 19 | $(NAME).pdf: $(NAME).dtx |
20 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null | 20 | # $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null |
21 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null | 21 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null |
22 | biber $(NAME) | 22 | biber $(NAME) |
23 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | 23 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi |