aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2021-04-02 18:40:59 +0200
committerRobert Alessi <alessi@robertalessi.net>2021-04-02 18:40:59 +0200
commit5e8becd7abfd72fd83f940166755d1eed24c58a2 (patch)
treecb7070d34ebbc33fd4c41c963d083780e75aa6e1 /Makefile
parent6b625ff03140fbe3b0350ab60d4475e1caa914c4 (diff)
downloadekdosis-1.2.tar.gz
use a configuration file if any. added some clarifications and correctionsv1.2
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