1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/usr/bin/env bash
# Safety first
set -o errexit -o pipefail -o nounset
# Change into the project's directory
cd "$(dirname "$0")/.."
# Set defaults
reload=false
# Parse arguments
for i in "$@"; do
case $i in
--reload)
reload=true
shift
;;
--*)
echo "Unknown option $i"
exit 1
;;
*)
;;
esac
done
# Serve the documentation
if [ "${reload}" = true ]; then
uv run sphinx-autobuild --open-browser --delay 0 --port 8145 docs docs/_build
else
uv run sphinx-build -b html docs docs/_build
fi
|
