Rework main menu for PHP 7

Julien Pauli · Julien Pauli · commit 3d52ed652689 · 2017-06-09T13:48:56.000+02:00
diff --git a/Book/index.rst b/Book/index.rst
@@ -28,10 +28,10 @@ PHP 5
 PHP 7
 -----
 
-This book is currently being updated for PHP 7. Check back soon...
+This part concerns only the PHP 7 branch. It is under development.
 
 .. toctree::
-    :maxdepth: 2
+    :maxdepth: 3
 
     php7/introduction.rst
     php7/build_system.rst
