Script local hosting of ref docs

Author: FlorentinD

doc/sphinx/README.adoc

@@ -7,9 +7,8 @@ To build the html content, do this:
 
 1. Set working directory to the root of this repository.
 2. Install sphinx into your venv: `pip install sphinx`
-3. Build the HTML: `(cd doc/sphinx && make html)`
-4. Serve the HTML: `(cd doc/sphinx/build/ && python -m http.server 8000)`
-5. Go to `localhost:8000` in your web browser.
+3. Run `./scripts/render_api_docs`
+4. Go to `localhost:8000` in your web browser.
 
 In order to make changes, iterate on steps 3-5 above.
 

scripts/render_api_docs

@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+cd doc/sphinx
+make clean html
+cd build/
+python3 -m http.server 8000