Fix page name.

diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html
index df728aa16f28fb76a187189eb9ad10089d631e2d..4db64f153bb477152515b9a5f17bcf04822e044b 100644 (file)
--- 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/news' %}
+    {% if pagename == 'whatsnew/changelog %}
     <script type="text/javascript">
       function dofilter() {
         var el = document.getElementById('searchbox');