Add web server to doc generator.

2017-10-12 06:38:34 -07:00
parent 91853a7fa9
commit 97b2e1c818
2 changed files with 56 additions and 3 deletions
@@ -91,6 +91,10 @@ benchmark: release
 docs:
 	$(V) ./util/generate_docs.py

+# Continuously generate and serve the Wren site.
+servedocs:
+	$(V) ./util/generate_docs.py --serve
+
 # Continuously generate the Wren site.
 watchdocs:
 	$(V) ./util/generate_docs.py --watch