add makefile

2022-07-14 16:58:04 +01:00 · 2022-07-14 16:58:04 +01:00 · c923817559
parent f51e1ba738
commit c923817559
1 changed files with 7 additions and 0 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -0,0 +1,7 @@
+all:	install
+	pipenv run mkdocs build
+
+install:
+	pipenv install
+clean:
+	rm -rf site