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]] +===<> +===<> ==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]] +===<> +===<> ==Server-side programming ===Services