add documentation builder

2022-07-15 11:07:43 +01:00 · 2022-07-15 11:07:43 +01:00 · 494d7f49c9
commit 494d7f49c9
parent 3ff141a122
75 changed files with 14251 additions and 5 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -0,0 +1,7 @@
+all:	install
+	pipenv run mkdocs build
+
+install:
+	pipenv install
+clean:
+	rm -rf site