Rename "docs" to "contents" in navigation bar

dstansby · dstansby · commit 6f8f49f8756f · 2019-04-03T15:49:27.000+01:00
diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
@@ -41,7 +41,7 @@ <h3>{{ _('Navigation') }}</h3>
         <li><a href="{{ pathto('gallery/index') }}">examples</a>|&nbsp;</li>
         <li><a href="{{ pathto('tutorials/index') }}">tutorials</a>|&nbsp;</li>
         <li><a href="{{ pathto('api/api_overview') }}">API</a>|&nbsp;</li>
-        <li><a href="{{ pathto('contents') }}">docs</a> &raquo;</li>
+        <li><a href="{{ pathto('contents') }}">contents</a> &raquo;</li>
 
         {%- for parent in parents %}
           <li><a href="{{ parent.link|e }}" {% if loop.last %}{{
