diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-01 09:54:08 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-01 09:54:08 +0200 |
| commit | 091aa9ad4f1792f16b4b40e12192603d2a9d3e97 (patch) | |
| tree | ce47b7c7e7f4dc4a4a00a9e28a1ed2c03d5a6849 /Makefile | |
| parent | e90960c222e147706739c424af70a4eaf5b7c803 (diff) | |
| download | ekdosis-091aa9ad4f1792f16b4b40e12192603d2a9d3e97.tar.gz | |
include \getsiglum in cmdtotei()
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -17,7 +17,7 @@ sty: clean | |||
| 17 | $(CMP) $(NAME).ins | 17 | $(CMP) $(NAME).ins |
| 18 | 18 | ||
| 19 | $(NAME).pdf: $(NAME).dtx | 19 | $(NAME).pdf: $(NAME).dtx |
| 20 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null | 20 | # $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null |
| 21 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null | 21 | $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null |
| 22 | biber $(NAME) | 22 | biber $(NAME) |
| 23 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi | 23 | if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi |