Add a filterable HTML version of Misc/NEWS to the docs "whatsnew" section.
diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html
index db4a386..df728aa 100644
--- a/Doc/tools/sphinxext/layout.html
+++ b/Doc/tools/sphinxext/layout.html
@@ -8,6 +8,23 @@
{% 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' %}
+ <script type="text/javascript">
+ function dofilter() {
+ var el = document.getElementById('searchbox');
+ var string = el.value.toLowerCase();
+ var litags = document.getElementsByTagName('li')
+ for (var idx = 0; idx < litags.length; idx++) {
+ var li = litags[idx];
+ if (li.innerHTML.toLowerCase().indexOf(string) >= 0) {
+ li.style.display = '';
+ } else {
+ li.style.display = 'none';
+ }
+ }
+ }
+ </script>
+ {% endif %}
{{ super() }}
{% endblock %}
{% block footer %}