diff --git a/tools/docker/doc-watch.sh b/tools/docker/doc-watch.sh index 371a85cab9..a47dd257ce 100755 --- a/tools/docker/doc-watch.sh +++ b/tools/docker/doc-watch.sh @@ -1,13 +1,12 @@ -#!/bin/bash -e +#!/bin/bash -ex # Rebuilds Sphinx documentation on changes # cd /source # Build once first -sudo -u nav python3 -m build # ensure build data and .eggs aren't stored as root -pip install -e . -sudo -u nav sphinx-build doc/ build/sphinx/html/ +pip install -vv -e . +sphinx-build doc/ build/sphinx/html/ # Then re-build on any changes to the doc directory while inotifywait -e modify -e move -e create -e delete -r --exclude \# /source/doc /source/NOTES.rst do - sudo -u nav sphinx-build doc/ build/sphinx/html/ + sphinx-build doc/ build/sphinx/html/ done