[m-rev.] for review: add windows installers for 0.12.2 to web site

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.5

download/include/release.inc:
	Add Windows installers for 0.12.2 to the web site.
	Fix the size of the extras distribution.

Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.42
diff -u -r1.42 release.inc
--- download/include/release.inc	27 Jan 2006 06:33:04 -0000	1.42
+++ download/include/release.inc	5 Feb 2006 14:51:08 -0000
@@ -205,7 +205,7 @@
 <? links_to_file("mercury-compiler-0.12.2.tar.gz", "yes") ?>
 <p>
 
-<dt> Extras (22 Mb)
+<dt> Extras (750 kb)
 <dd>
 <? links_to_file("mercury-extras-0.12.2.tar.gz", "no") ?>
 <p>
@@ -217,19 +217,23 @@
 
 <h3><a name="binaries">Binary Distributions</a></h3>
 
-<h4>Windows Installer for Mercury 0.12.1</h4>
+<h4>Windows Installer for Mercury 0.12.2</h4>
 
 The Windows installer package includes the Mercury compiler and
 debugger, but not mmake (instead use `mmc --make').  It also includes
 the MinGW version of gcc, so you don't need to download anything else to use
 Mercury — mmc will work directly from the Windows command prompt.
-The following grades are included: asm_fast.gc, asm_fast.gc.tr,
-asm_fast.gc.tr.debug, asm_fast.gc.tr.decldebug and hlc.gc.
+The following grades are included in the "big" version: asm_fast.gc, asm_fast.gc.tr,
+asm_fast.gc.tr.debug, asm_fast.gc.tr.decldebug, hlc.gc and hlc.gc.tr, while the
+"small" version includes the grades asm_fast.gc, asm_fast.gc.tr.debug and hlc.gc.
 <p>
 <dl>
-<dt> Download Windows Installer (30 Mb)
+<dt> Download Windows Installer ("big" version, 32 Mb)
 <dd>
-<? links_to_file("mercury-compiler-0.12.1.msi", "no") ?>
+<? links_to_file("mercury-compiler-0.12.2.big.msi", "no") ?>
+<dt> Download Windows Installer ("small" version, 20 Mb)
+<dd>
+<? links_to_file("mercury-compiler-0.12.2.small.msi", "no") ?>
 </dl>
 
 <h4>Other Binary Distributions</h4>
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------