diff options
Diffstat (limited to 'Doc/html')
| -rw-r--r-- | Doc/html/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 4cd8423..d47ac01 100644 --- 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 |