aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-06-21 19:48:59 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-06-21 19:48:59 +0200
commitf8fe1bb72b9a5790c579781fa64440c6a5ef28f5 (patch)
tree5abec958deecf8e602c6df43e6090982fb9782b5 /Makefile
parent0addb8eebce7017a0a9b990907f61bb5dff715c4 (diff)
downloadekdosis-f8fe1bb72b9a5790c579781fa64440c6a5ef28f5.tar.gz
started documenting
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9666050..1377980 100644
--- a/Makefile
+++ b/Makefile
@@ -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
27clean: 29clean:
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