From 2618fbcf6802f72396fa379d5039c59a69a054cb Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 28 Jan 2026 21:39:57 +0100 Subject: [PATCH 1/2] Improve doc rendering --- docs/indexdoc | 8 ++++---- docs/manual-wiki/menu.wiki | 12 +++++++----- 2 files changed, 11 insertions(+), 9 deletions(-) diff --git a/docs/indexdoc b/docs/indexdoc index c63cf839a..8c8e90752 100644 --- a/docs/indexdoc +++ b/docs/indexdoc @@ -1,4 +1,4 @@ -{1 Main modules } +{2 Main modules } {!modules: Tyxml @@ -6,7 +6,7 @@ Tyxml.Html Tyxml.Svg } -{1 Types and signatures} +{2 Types and signatures} {!modules: Html_sigs @@ -15,7 +15,7 @@ Svg_sigs Svg_types } -{1 TyXML Functors } +{2 TyXML Functors } {!modules: Html_f @@ -27,6 +27,6 @@ Xml_print Xml_stream } -{1 Indexes} +{2 Indexes} {!indexlist} diff --git a/docs/manual-wiki/menu.wiki b/docs/manual-wiki/menu.wiki index b26f9bab4..8e86484c5 100644 --- a/docs/manual-wiki/menu.wiki +++ b/docs/manual-wiki/menu.wiki @@ -1,5 +1,7 @@ -=TyXML – Manual -==[[intro|Introduction]] -==[[functors|Functorial interface]] -==[[ppx|Ppx syntax extension]] -==[[jsx|JSX syntax]] +=TyXML +==Manual +===[[intro|Introduction]] +===[[functors|Functorial interface]] +===[[ppx|Ppx syntax extension]] +===[[jsx|JSX syntax]] +==API From 6ca6cca05b59d02c57738b8483673948516a522e Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 29 Jan 2026 12:19:49 +0100 Subject: [PATCH 2/2] fixup! Improve doc rendering --- docs/manual-wiki/menu.wiki | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/manual-wiki/menu.wiki b/docs/manual-wiki/menu.wiki index 8e86484c5..4ca56b9d6 100644 --- a/docs/manual-wiki/menu.wiki +++ b/docs/manual-wiki/menu.wiki @@ -1,7 +1,6 @@ -=TyXML -==Manual +=TyXML - Manual ===[[intro|Introduction]] ===[[functors|Functorial interface]] ===[[ppx|Ppx syntax extension]] ===[[jsx|JSX syntax]] -==API +=TyXML - API