src/Doc/ROOT

--- a/src/Doc/ROOT	Mon Mar 19 18:13:37 2018 +0100
+++ b/src/Doc/ROOT	Mon Mar 19 19:24:45 2018 +0100
@@ -378,6 +378,7 @@
     Environment
     Sessions
     Presentation
+    Server
     Scala
     Misc
   document_files (in "..")