diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ $(NAME).pdf: testsamples $(NAME).dtx | |||
39 | @ if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | 39 | @ if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi |
40 | @ if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi | 40 | @ if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi |
41 | @ echo "Final runs of $(CMP)..." | 41 | @ echo "Final runs of $(CMP)..." |
42 | @ for run in {1..3}; do $(call do_documentation); done | 42 | @ for run in {1..7}; do $(do_documentation); done |
43 | @ echo "Done" | 43 | @ echo "Done" |
44 | 44 | ||
45 | samples: clean sty | 45 | samples: clean sty |