From f8fe1bb72b9a5790c579781fa64440c6a5ef28f5 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
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