From f8fe1bb72b9a5790c579781fa64440c6a5ef28f5 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sun, 21 Jun 2020 19:48:59 +0200 Subject: started documenting --- Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9666050..1377980 100644 --- a/Makefile +++ b/Makefile @@ -19,12 +19,15 @@ sty: clean $(NAME).pdf: $(NAME).dtx $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null $(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null + biber $(NAME) if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null + $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null clean: + rm -rf auto rm -f $(NAME).bib $(PWD)/TMP/*.bib rm -rf .backup find -iname "*~" -or -iname "*.pdf" | xargs rm -rf -- cgit v1.2.3