[m-rev.] diff: fix dates in web site documentation

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main, release

doc/Mmakefile:
	Make the `.texi_pp' files depend on the VERSION file.
	This ensures that the dates in the ROTD documentation
	on the web site are updated nightly.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.29
diff -u -u -r1.29 Mmakefile
--- Mmakefile	6 Oct 2001 09:00:37 -0000	1.29
+++ Mmakefile	9 Jan 2002 04:03:29 -0000
@@ -75,7 +75,7 @@
 
 SED_CMD = sed -e "s/<VERSION>/$(VERSION)/g" < $< > $@
 
-%.texi_pp: %.texi
+%.texi_pp: %.texi ../VERSION
 	$(SED_CMD)
 
 mercury.html: mercury.html.in
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------