Add the "What's New" document to the index of HTML documents.
diff --git a/Doc/Makefile b/Doc/Makefile
index 2bde5f1..cc537b0 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -323,7 +323,8 @@
BOILERPLATE=texinputs/boilerplate.tex
html/index.html: $(INDEXFILES)
html/index.html: html/index.html.in $(BOILERPLATE) tools/rewrite.py
- $(PYTHON) tools/rewrite.py $(BOILERPLATE) RELEASE=$(RELEASE) \
+ $(PYTHON) tools/rewrite.py $(BOILERPLATE) \
+ RELEASE=$(RELEASE) WHATSNEW=$(WHATSNEW) \
<$< >$@
html/modindex.html: $(TOOLSDIR)/support.py $(TOOLSDIR)/mkmodindex