[m-rev.] diff: make globals.inc depend on RELEASE_INFO

[Ian MacLarty]

Estimated hours taken: 0.1

Makefile:
	Make include/globals.inc depend on RELEASE_INFO.  This file must
	be updated if the latest release number changes.  This was not
	happening, so the version number on the documentation page wasn't
	being updated.

Index: Makefile
===================================================================
RCS file: /home/mercury1/repository/w3/Makefile,v
retrieving revision 1.16
diff -u -r1.16 Makefile
--- Makefile	20 Jan 2003 08:57:32 -0000	1.16
+++ Makefile	12 Sep 2005 03:16:08 -0000
@@ -27,7 +27,7 @@

 globals.inc: include/globals.inc

-include/globals.inc: include/globals.inc.in
+include/globals.inc: include/globals.inc.in RELEASE_INFO
 	sed -e "s/<RELEASE_VERSION>/$(RELEASE_VERSION)/" \
 	    -e "s/<NEXT_BETA_VERSION>/$(NEXT_BETA_VERSION)/" \
 	     < $< > $@

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