Doc compition avoid cmxs#149

Open

ybertot wants to merge 9 commits intorocq-community:rocq-v9.0from

ybertot:doc-compition-avoid-cmxs

Commits on Mar 20, 2025

Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module)
SkySkimmer
committed

Commits on Mar 27, 2025

Merge pull request #143 from SkySkimmer/dirpath-full-path
ppedrot
authored

Commits on Jun 2, 2025

Improve documentation, following suggestion by T. Bourke
ybertot
committed