From ba9335ec4c3578fdebfbec3072396bcda29d3425 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 13:02:55 +0200
Subject: initial rough import of other docs

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f09f2a04..4b7e30a5 100644
--- a/Makefile
+++ b/Makefile
@@ -49,9 +49,16 @@ help:
 clean:
 	rm -rf $(BUILDDIR)/*
 
+
+arch-api.png: arch-api.dot
+	dot -Tpng arch-api.dot > arch-api.png
+
+diagrams: arch-api.png
+
+
 # The html-linked builder does not support caching, so we
 # remove all cached state first.
-html:
+html: diagrams
 	$(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
-- 
cgit v1.2.3