diff options
Diffstat (limited to 'doc/_templates')
| -rw-r--r-- | doc/_templates/layout.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index eb9f5b821..39c6f43b1 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -7,7 +7,8 @@ {% block rootrellink %} <li><a href="{{ pathto('index') }}">home</a> | </li> - <li><a href="{{ pathto('search') }}">search</a> | </li> + <!--<li><a href="{{ pathto('search') }}">search</a> | </li>--> + <li><a href="{{ pathto('help/index') }}">help</a> | </li> <li><a href="{{ pathto('contents') }}">documentation </a> »</li> {% endblock %} |