Make the top-level index.html depend on the individual document index.html

files so that the date is properly updated on the front page.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 4cd8423df78d76470eb495dc820bdd027ce091ca..d47ac014a19bd033a58208a79ccfa15914d0c44e 100644 (file)
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -119,10 +119,14 @@ distclean realclean clobber: clean
 # 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.
 
+# index.html is dependent on $(INDEXFILES) since we want the date on
+# the front index to be updated whenever any of the child documents
+# are updated and boilerplate.tex uses \today as the date.
+
 # It's at the end of the file since it wedges font-lock in XEmacs.
 
 BOILERPLATE=$(TOPDIR)/texinputs/boilerplate.tex
-index.html: $(TOPDIR)/html/index.html.in $(BOILERPLATE)
+index.html: $(TOPDIR)/html/index.html.in $(BOILERPLATE) $(INDEXFILES)
        REL=`grep '\\release{' $(BOILERPLATE) | sed 's/.*\\release{\(.*\)}.*$$/\1/'`; \
                REL=`echo "$$REL" | sed 's/[$$]//g'`; \
                sed "s/@RELEASE@/$$REL/g" $< >TEMP