[m-rev.] trivial diff: update tools/generate_index_html for 0.13 release

[Julien Fischer]

Estimated hours taken: 0
Branches: main

tools/generate_index_html:
 	Set the CURRENT_RELEASE and BETA_RELEASE variables.

Julien.

Index: generate_index_html
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/generate_index_html,v
retrieving revision 1.18
diff -u -r1.18 generate_index_html
--- generate_index_html	8 Sep 2005 09:12:20 -0000	1.18
+++ generate_index_html	14 Sep 2006 05:00:59 -0000
@@ -9,8 +9,8 @@
  # an absolute path name, it had better be in its own path!
  #

-CURRENT_RELEASE=0.12.0
-BETA_RELEASE=0.12.1
+CURRENT_RELEASE=0.13.0
+BETA_RELEASE=0.13.1

  # We need bash's extended globbing for the case patterns
  # matching the release numbers.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------