Doc notes

This commit is contained in:
2025-09-20 22:34:58 -07:00
parent 0e8a77f548
commit 1ff910e4d2
2 changed files with 9 additions and 5 deletions

View File

@@ -10,10 +10,7 @@ build:
os: ubuntu-20.04
tools:
python: "3.10"
# You can also specify other tool versions:
# nodejs: "16"
# rust: "1.55"
# golang: "1.17"
# Build documentation in the docs/ directory with Sphinx
sphinx:
@@ -23,6 +20,9 @@ sphinx:
formats:
- pdf
# FIXME: We should be installing the `doc` dependency group and not the `doc`
# extra.
#Optionally declare the Python requirements required to build your docs
python:
install:

View File

@@ -54,3 +54,7 @@ build-backend = "uv_build"
dev = [
"ruff>=0.13.1",
]
doc = [
"sphinx>=7.4.7",
"sphinx-rtd-theme>=3.0.2",
]