[m-rev.] diff: fix dates in web site documentation
Simon Taylor
stayl at cs.mu.OZ.AU
Wed Jan 9 15:16:18 AEDT 2002
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
--------------------------------------------------------------------------
More information about the reviews
mailing list