Merge pull request #8827 from thibaudcolas/patch-2

Fix broken "Extend" link in site header

doc/_themes/sphinx13/layout.html

@@ -67,7 +67,7 @@
     <li><a href="{{ pathto('index') }}">Home</a></li>
     <li><a href="{{ pathto('usage/installation') }}">Get it</a></li>
     <li><a href="{{ pathto('contents') }}">Docs</a></li>
-    <li><a href="{{ pathto('development') }}">Extend</a></li>
+    <li><a href="{{ pathto('development/index') }}">Extend</a></li>
   </ul>
   <div>
     <a href="{{ pathto('index') }}">