diff options
| -rw-r--r-- | Doc/tools/sphinxext/layout.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index 4db64f1..b679f3a 100644 --- a/Doc/tools/sphinxext/layout.html +++ b/Doc/tools/sphinxext/layout.html @@ -8,7 +8,7 @@ {% block extrahead %} <link rel="shortcut icon" type="image/png" href="{{ pathto('_static/py.png', 1) }}" /> {% if not embedded %}<script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script>{% endif %} - {% if pagename == 'whatsnew/changelog %} + {% if pagename == 'whatsnew/changelog' %} <script type="text/javascript"> function dofilter() { var el = document.getElementById('searchbox'); |