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 eade9cd..4479b82 100644
--- a/Makefile
+++ b/Makefile
@@ -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
45samples: clean sty 45samples: clean sty