Doc: parent-child convention for installed packages#1011

Merged

jonludlam merged 4 commits intoocaml:masterfrom Julow:parent_child_convention

Nov 29, 2023

+32

Commits on Sep 28, 2023

Doc: parent-child convention for installed packages

Julow
and
panglesd
committed

Commits on Oct 20, 2023

tentative convention for building installed package's doc
panglesd
committed

Commits on Nov 10, 2023

Remove the "index" tentative fix
Julow
committed

Commits on Nov 24, 2023

convention: Remove paragraph on source rendering bug
Julow
committed