diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-04-02 18:40:59 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-04-02 18:40:59 +0200 |
| commit | 5e8becd7abfd72fd83f940166755d1eed24c58a2 (patch) | |
| tree | cb7070d34ebbc33fd4c41c963d083780e75aa6e1 /Makefile | |
| parent | 6b625ff03140fbe3b0350ab60d4475e1caa914c4 (diff) | |
| download | ekdosis-5e8becd7abfd72fd83f940166755d1eed24c58a2.tar.gz | |
use a configuration file if any. added some clarifications and correctionsv1.2
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 |