From 79e07b4387214e770f13f66e6b7d0f22906071f5 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Tue, 10 Dec 2019 20:35:39 +0100
Subject: [PATCH] Also build `dot` sources

---
 work/Makefile | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/work/Makefile b/work/Makefile
index 30d7a64..cdc34ac 100644
--- a/work/Makefile
+++ b/work/Makefile
@@ -1,11 +1,17 @@
-.PHONY: clean build
+.PHONY: clean build dot
 
 build: 01paper.pdf
 
-%.pdf: %.tex bibliography.bib acronyms.tex
+%.pdf: %.tex bibliography.bib acronyms.tex dot
 	latexmk -shell-escape -pdf $< -f
 
-clean:
+clean: clean_dot
 	rm -rf *.acn *.acr *.alg *.aux *.bbl *.blg *.clg *.cyg *.cyi *.fdb_latexmk \
 		*.fls *.glg *.glo *.gls *.ist *.log *.out *.pdf *.slg *.syg *.syi *.bcf \
 		*.dvi *.run.xml _minted-* *.pyg
+
+dot:
+	$(MAKE) -C ./dot
+
+clean_dot:
+	$(MAKE) -C ./dot clean