From 7edba2d10f980016462f917c6d21d64585ddfd6b Mon Sep 17 00:00:00 2001
From: Adam Izraelevitz
Date: Fri, 21 Aug 2020 12:02:26 -0700
Subject: Added website docs and mdoc. (#1560)

* Added website docs and mdoc. Removed all warnings

* Updated README and added build to circle ci

* Added how to build documentation, deprecated wiki

* Fix copypasta

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>---
 docs/src/images/Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 docs/src/images/Makefile

(limited to 'docs/src/images/Makefile')

diff --git a/docs/src/images/Makefile b/docs/src/images/Makefile
new file mode 100644
index 00000000..20a41d1f
--- /dev/null
+++ b/docs/src/images/Makefile
@@ -0,0 +1,12 @@
+.PHONY: all
+
+sources = \
+	type_hierarchy.dot
+
+all: $(sources:%.dot=%.svg) $(sources:%.dot=%.png)
+
+%.svg: %.dot
+	dot -Tsvg $< -o $@
+
+%.png: %.dot
+	dot -Tpng $< -o $@
-- 
cgit v1.2.3