diff --git a/docs/developer-guide.rst b/docs/developer-guide.rst index 70a15af..3ec7360 100644 --- a/docs/developer-guide.rst +++ b/docs/developer-guide.rst @@ -71,6 +71,18 @@ To add new or remove existing third-party static assets: $ ./node_modules/.bin/gulp assets +Documentation +------------- + +The documentation can be generated locally with sphinx:: + + $ cd docs + $ virtualenv -p python3 env + $ source env/bin/activate + $ pip install sphinx_rtd_theme + $ make html SPHINXOPTS="-W" + + Coding Style ------------