Skip to content

Deprecate BUILD_DOCS: generate always the doc target but exclude from default make#434

Merged
j-rivero merged 4 commits intomainfrom jrivero/disable_doc_from_target_allJul 29, 2024

Commits

Commits on Jul 10, 2024

Commits on Jul 22, 2024

Commits on Jul 23, 2024