Propagate doc changes to dev version

ocsigen · Dec 21, 2023 · 6aa0463 · 6aa0463
1 parent f9264d6
commit 6aa0463
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 338 deletions.
diff --git a/doc/dev/manual/clientserver-language.wiki b/doc/dev/manual/clientserver-language.wiki
diff --git a/doc/dev/manual/menu.wiki b/doc/dev/manual/menu.wiki
@@ -13,6 +13,7 @@
 
 ==Client-server programming
 ===[[clientserver-applications|Eliom applications]]
+===[[ppx-syntax|Multi-tier programming]]
 ===[[clientserver-html|Generating HTML]]
 ===[[clientserver-communication|Communication]]
 ===[[clientserver-services|Client-side services]]
@@ -26,8 +27,3 @@
 ===[[workflow-compilation|Compilation]]
 ===[[workflow-configuration|Configuration & running]]
 ===[[scalability|Scalability]]
-
-==Syntax
-===[[ppx-syntax|PPX-based syntax]]
-===[[clientserver-language|Camlp4-based syntax]]
-===[[ppx-migration|Migration to PPX]]