Skip to content

WIP: Build doc update

Francois TABURETrequested to merge
build_doc_update into develop

build documentation (BUILD.md) fixes (typos, errors, broken links, clarifications) Prefixed with WIP to prevent CI but could be merged after review: no source modifications.

Merge request reports