diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-27 12:21:28 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-27 12:21:28 +0200 |
| commit | 0f3c0f7d90e67254e6c74b5b750ca80d1b2a3b10 (patch) | |
| tree | 5b43211854c7bc5bf97131c0bdd279a1b1a6359b /Makefile | |
| parent | 2ee9740c5476b94edebfe254c6fbb142f401c125 (diff) | |
| download | ekdosis-0f3c0f7d90e67254e6c74b5b750ca80d1b2a3b10.tar.gz | |
defer makeindex. documented \getsiglum and \SigLine
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -33,12 +33,12 @@ $(NAME).pdf: $(NAME).dtx | |||
| 33 | @ echo "Build the documentation of $(NAME)..." | 33 | @ echo "Build the documentation of $(NAME)..." |
| 34 | $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null | 34 | $(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null |
| 35 | biber $(NAME) >/dev/null | 35 | biber $(NAME) >/dev/null |
| 36 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | ||
| 37 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi | ||
| 38 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 36 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 39 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 37 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 40 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 38 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 41 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 39 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 40 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | ||
| 41 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi | ||
| 42 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 42 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 43 | 43 | ||
| 44 | samples: clean sty | 44 | samples: clean sty |