Skip to content

Commit

Permalink
Build docs in directory where they are mounted
Browse files Browse the repository at this point in the history
It seems the docs are mounted in the Django development server at
build/sphinx/html, not from doc/_build . Not entirely sure when this
change took place, but the docbuild container should put the rebuilt
docs in the location where they are actually served from.
  • Loading branch information
lunkwill42 committed Nov 24, 2023
1 parent c90ec2f commit 921a081
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tools/docker/doc-watch.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ 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/ doc/_build
sudo -u nav 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/ doc/_build
sudo -u nav sphinx-build doc/ build/sphinx/html/
done

0 comments on commit 921a081

Please sign in to comment.