Backport PR #13867: Rename "docs" to "contents" in navigation bar

tacaswell · MeeseeksDev[bot] · commit 39f8177a30f3 · 2019-04-04T19:54:35.000Z
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 %}{{
