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.
This commit is contained in:
Fred Drake 2001-02-19 17:52:07 +00:00
parent 5f52f7230c
commit 653809c122
1 changed files with 5 additions and 1 deletions

View File

@ -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