Fix page name.

This commit is contained in:
Georg Brandl 2012-10-01 19:26:09 +02:00
parent 44d0c2156a
commit 243729151e
1 changed files with 1 additions and 1 deletions

View File

@ -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');