Skip to content

WIP: Build doc update

Francois TABURET requested 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