diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-06-21 19:48:59 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-06-21 19:48:59 +0200 |
commit | f8fe1bb72b9a5790c579781fa64440c6a5ef28f5 (patch) | |
tree | 5abec958deecf8e602c6df43e6090982fb9782b5 /Makefile | |
parent | 0addb8eebce7017a0a9b990907f61bb5dff715c4 (diff) | |
download | ekdosis-f8fe1bb72b9a5790c579781fa64440c6a5ef28f5.tar.gz |
started documenting
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -19,12 +19,15 @@ sty: clean | |||
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 | 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 |
23 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi | 24 | if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi |
24 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 25 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
25 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 26 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
27 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | ||
26 | 28 | ||
27 | clean: | 29 | clean: |
30 | rm -rf auto | ||
28 | rm -f $(NAME).bib $(PWD)/TMP/*.bib | 31 | rm -f $(NAME).bib $(PWD)/TMP/*.bib |
29 | rm -rf .backup | 32 | rm -rf .backup |
30 | find -iname "*~" -or -iname "*.pdf" | xargs rm -rf | 33 | find -iname "*~" -or -iname "*.pdf" | xargs rm -rf |