[m-rev.] diff: minor change to layout of bin distribution section

Ian MacLarty maclarty at cs.mu.OZ.AU
Wed Jan 11 20:04:04 AEDT 2006


Estimated hours taken: 0.5

download/include/release.inc:
	Improve the layout of the binary distribution section of the current
	release download page, by having separate sections for different
	platforms.

Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.40
diff -u -r1.40 release.inc
--- download/include/release.inc	11 Jan 2006 08:37:44 -0000	1.40
+++ download/include/release.inc	11 Jan 2006 08:57:39 -0000
@@ -215,18 +215,24 @@
 <? links_to_file("mercury-tests-0.12.1.tar.gz", "no") ?>
 </dl>
 
-<h3><a name="binaries">Binary Distribution</a></h3>
+<h3><a name="binaries">Binary Distributions</a></h3>
 
-<dl>
-<dt> Windows installer (30 Mb).  This package includes the compiler and
+<h4>Windows Installer</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 
+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.
-<dd> 
-<? links_to_file("mercury-compiler-0.12.1.msi", "no") ?>
 <p>
+<dl>
+<dt> Download Windows Installer (30 Mb)
+<dd>
+<? links_to_file("mercury-compiler-0.12.1.msi", "no") ?>
+</dl>
+
+<h4>Other Binary Distributions</h4>
 
 Binary packages for Linux and Mac OS X (10.3 and 10.4)
 are still to come.
--------------------------------------------------------------------------
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