Generate index.html from index.html.in. This avoids having to modify the
index to update the version number; boilerplate.tex remains the only document
source for this information.
diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 44c5c2e..11c3d45 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -40,7 +40,7 @@
$(TOPDIR)/perl/l2hinit.perl
-all: $(INDEXFILES) modindex.html
+all: $(INDEXFILES) index.html modindex.html
.PHONY: api ext lib mac ref tut
@@ -59,6 +59,17 @@
--address $(PYTHONDOCS) \
lib/modindex.html mac/modindex.html
+# This is really ugly, but we're not dependent on $(RELEASE), which isn't
+# defined here. It also maintains the proper dependency on boilerplate.tex.
+
+BOILERPLATE=$(TOPDIR)/texinputs/boilerplate.tex
+index.html: index.html.in $(BOILERPLATE)
+ REL=`grep '\\release{' $(BOILERPLATE) | sed 's/.*\\release{\(.*\)}.*$$/\1/'` ; \
+ sed "s/@RELEASE@/$$REL/g" $< >TEMP
+ DATE=`grep '\\date{' $(BOILERPLATE) | sed 's/.*\\date{\(.*\)}.*$$/\1/'` ; \
+ sed "s/@DATE@/$$DATE/g" TEMP >$@
+ rm -f TEMP
+
api/api.html: $(PAPERDIR)/api.aux $(BUILDINDEX)
$(MKHTML) api $(L2HARGS)