diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-16 10:21:22 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-16 10:21:22 +0200 |
| commit | e76ae3e1038bfba0c61ef78857f7594b66afb1f1 (patch) | |
| tree | 0b7854f981271906d148fa0299b6488325752520 /Makefile | |
| parent | 61b96868e1b00ffb825cc3b9799976289c1fc81b (diff) | |
| download | ekdosis-e76ae3e1038bfba0c61ef78857f7594b66afb1f1.tar.gz | |
added \SetLineation
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -31,7 +31,7 @@ $(NAME).pdf: $(NAME).dtx | |||
| 31 | mv TMP/*.pdf samples/ | 31 | mv TMP/*.pdf samples/ |
| 32 | mv $(texsamplesout)-tei.xml samples/ | 32 | mv $(texsamplesout)-tei.xml samples/ |
| 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 | 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 | 37 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi |