From 6770bcbc1d40736c1ae98413c8b74108bfc76eed Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Fri, 24 Nov 2023 11:04:18 +0100 Subject: [PATCH] convention: Remove paragraph on source rendering bug --- doc/parent_child_spec.mld | 4 ---- 1 file changed, 4 deletions(-) diff --git a/doc/parent_child_spec.mld b/doc/parent_child_spec.mld index 16b5b0e561..ec76c03400 100644 --- a/doc/parent_child_spec.mld +++ b/doc/parent_child_spec.mld @@ -185,10 +185,6 @@ following convention should be followed. - If there is no installed [index.mld] page, the driver has to generate some content for the [pkg] page. -When the rendering of source code is enabled, the source tree will be named -[source] and will be a child of the [pkg] page. As a consequence, no installed -page can be named [source.mld]. - This convention is followed by the {{:https://github.com/ocaml-doc/voodoo}driver for ocaml.org}, by the driver {{:https://erratique.ch/software/odig/doc/packaging.html}Odig}