Diff of /docs/Makefile [000000] .. [d45a3a]

Switch to side-by-side view

--- a
+++ b/docs/Makefile
@@ -0,0 +1,20 @@
+.PHONY: help clean build
+
+help:
+	@echo "Please use \`make <target>' where <target> is one of"
+	@echo "  build      to generate a static webpage"
+	@echo "  serve      start mkdocs serve on port 8000"
+	@echo "  clean      clean the generated files"
+	@echo "  push       push the repository to ouga"
+
+build:
+	mkdir -p theme_dir/img/ipynb/
+	./render_ipynb.bash
+	pydocmd build
+	@echo "Build finished"
+
+serve:
+	pydocmd serve
+
+clean:
+	rm -r site sources mkdocs.yml