2025-06-11 19:00:32 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
cleanup () {
|
2025-06-19 12:00:43 +02:00
|
|
|
if [ -n "$tmp_dir" ] && [ -e "$tmp_dir" ]; then
|
|
|
|
|
rm -r "$tmp_dir"
|
|
|
|
|
fi
|
2025-06-11 19:00:32 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
trap cleanup EXIT INT TERM HUP
|
|
|
|
|
|
2025-09-13 10:18:32 +02:00
|
|
|
workspace_root=$(dirname "$0")/../..
|
2025-06-11 19:00:32 +02:00
|
|
|
builder=$1
|
2025-11-20 10:34:17 +01:00
|
|
|
shift
|
2025-09-13 10:18:32 +02:00
|
|
|
docsrc=$workspace_root/doc_src
|
2025-06-11 19:00:32 +02:00
|
|
|
tmp_dir=$(mktemp -d)
|
|
|
|
|
doctree=$tmp_dir/doctree
|
|
|
|
|
output_dir=$tmp_dir/$builder
|
|
|
|
|
sphinx-build \
|
2025-06-19 12:00:43 +02:00
|
|
|
-j auto \
|
|
|
|
|
-q \
|
|
|
|
|
-W \
|
|
|
|
|
-E \
|
|
|
|
|
-b "$builder" \
|
|
|
|
|
-c "$docsrc" \
|
|
|
|
|
-d "$doctree" \
|
2025-11-20 10:34:17 +01:00
|
|
|
"$@" \
|
2025-06-19 12:00:43 +02:00
|
|
|
"$docsrc" \
|
|
|
|
|
"$output_dir"
|