chore: Fix docs readme and cmake (#6122)

This change removes the unused `with_docs` option and fixes the README instructions on how to build the `docs` target.
This commit is contained in:
Bart
2025-12-08 13:39:38 -05:00
committed by GitHub
parent 9625514da8
commit 4565cc280b
2 changed files with 3 additions and 5 deletions

View File

@@ -2,9 +2,7 @@
docs target (optional)
#]===================================================================]
option(with_docs "Include the docs target?" FALSE)
if(NOT (with_docs OR only_docs))
if(NOT only_docs)
return()
endif()

View File

@@ -54,8 +54,8 @@ There is a `docs` target in the CMake configuration.
```
mkdir build
cd build
cmake ..
cmake --build . --target docs
cmake -Donly_docs=ON ..
cmake --build . --target docs --parallel
```
The output will be in `build/docs/html`.