19 lines
440 B
Bash
Executable File
19 lines
440 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
root=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)
|
|
|
|
uv run \
|
|
--quiet \
|
|
--isolated \
|
|
--no-env-file \
|
|
--with-requirements "$root/docs/requirements.lock" \
|
|
mkdocs build --strict --config-file "$root/mkdocs.yml"
|
|
|
|
exec uv run \
|
|
--quiet \
|
|
--isolated \
|
|
--no-env-file \
|
|
--with-requirements "$root/docs/requirements.lock" \
|
|
python "$root/scripts/verify-public-docs.py" --root "$root"
|