Fix #213, reorganize index

2019-08-26 10:28:03 -05:00
parent 8271885bb2
commit 7805b99d57
4 changed files with 273 additions and 236 deletions
@@ -7,4 +7,6 @@ server = Server()
 server.watch('*.rst', shell('sphinx-build -b html -a -n . _build'))
 server.watch('tutorials/*.rst', shell('sphinx-build -b html -a -n . _build'))
 server.watch('how-tos/*.rst', shell('sphinx-build -b html -a -n . _build'))
+# For custom port and host
+# server.serve(port=8080, host='192.168.1.2')
 server.serve(root='_build/')