Doc: add links to main doc pages in menu

ocsigen · Dec 29, 2023 · 3c956a4 · 3c956a4
1 parent 5b5d012
commit 3c956a4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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