From 3c956a44a78991291590c33f88e33547870d8fb9 Mon Sep 17 00:00:00 2001
From: Vincent Balat <vincent.balat@vblt.org>
Date: Fri, 29 Dec 2023 15:23:10 +0100
Subject: [PATCH] Doc: add links to main doc pages in menu

---
 doc/10.x/manual/menu.wiki | 2 ++
 doc/dev/manual/menu.wiki  | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/doc/10.x/manual/menu.wiki b/doc/10.x/manual/menu.wiki
index 4f07780e41..ebdd16b415 100644
--- a/doc/10.x/manual/menu.wiki
+++ b/doc/10.x/manual/menu.wiki
@@ -1,6 +1,8 @@
 = Eliom's Reference manual
 
 ==[[intro|Introduction]]
+===<<a_manual project="tuto" chapter="basics"|Client-server applications>>
+===<<a_manual project="tuto" chapter="basics-server"|Server-side websites>>
 
 ==Server-side programming
 ===Services
diff --git a/doc/dev/manual/menu.wiki b/doc/dev/manual/menu.wiki
index 4f07780e41..ebdd16b415 100644
--- a/doc/dev/manual/menu.wiki
+++ b/doc/dev/manual/menu.wiki
@@ -1,6 +1,8 @@
 = Eliom's Reference manual
 
 ==[[intro|Introduction]]
+===<<a_manual project="tuto" chapter="basics"|Client-server applications>>
+===<<a_manual project="tuto" chapter="basics-server"|Server-side websites>>
 
 ==Server-side programming
 ===Services