Adding Server in main menu

ocsigen · Aug 23, 2024 · 1477595 · 1477595
1 parent 31afc0e
commit 1477595
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/template.wiki b/doc/template.wiki
@@ -29,6 +29,8 @@
 <<when-project unless="js_of_ocaml"  |                             [[wiki("js_of_ocaml"):|Js_of_ocaml]]>>
 <<when-project   when="lwt"          | @@class="mainmenu-current"@@[[wiki("lwt"):|Lwt]]>>
 <<when-project unless="lwt"          |                             [[wiki("lwt"):|Lwt]]>>
+<<when-project   when="ocsigenserver"          | @@class="mainmenu-current"@@[[wiki("ocsigenserver"):|Server]]>>
+<<when-project unless="ocsigenserver"          |                             [[wiki("ocsigenserver"):|Server]]>>
 <<when-project   when="tyxml"        | @@class="mainmenu-current"@@[[wiki("tyxml"):|Tyxml]]>>
 <<when-project unless="tyxml"        |                             [[wiki("tyxml"):|Tyxml]]>>
 <<when-project   when="ocsigen-start"| @@class="mainmenu-current"@@[[wiki("ocsigen-start"):|Start]]>>