[m-rev.] diff: update some links on the (old) 0.11 download page

[Ian MacLarty]

Estimated hours taken: 0.2

download/include/old-release.inc:
	Move some links to point to the old-releases directory and
	remove other links to files which never existed.

Index: download/include/old-release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/old-release.inc,v
retrieving revision 1.14
diff -u -r1.14 old-release.inc
--- download/include/old-release.inc	9 Sep 2005 05:20:06 -0000	1.14
+++ download/include/old-release.inc	9 Sep 2005 07:21:15 -0000
@@ -261,7 +261,7 @@
 	<p>
 	Cygwin version: compiler + Extras + Tests (about 29 Mb): <br>
 <?
-links_to_file("beta-releases/0.11.0/mercury-0.11.0.i686-pc-cygwin.tar.gz",
+links_to_file("mercury-0.11.0.i686-pc-cygwin.tar.gz",
 	"0.11", "no");
 ?>
 <br>
@@ -274,7 +274,7 @@
 	<p>
 	Mingw version: compiler only (about 25 Mb): <br>
 <?
-links_to_file("beta-releases/0.11.0/mercury-compiler-0.11.0.i686-pc-mingw.zip",
+links_to_file("mercury-compiler-0.11.0.i686-pc-mingw.zip",
 	"0.11", "no");
 ?>
 <br>
@@ -293,24 +293,6 @@
 	     to incompatibilities between libc versions 6.1 and 6.2
 	     (i.e. glibc 2.1 and 2.2).
 	     <p>
-
-	     Debian Package (*.deb) <br>
-	     Compiler only (about 28 Mb): <br>
-<? links_to_file("mercury_0.11.0-1_i386.deb", "0.11", "no"); ?>
-	     <br>
-	     If you get this package, we suggest that you also download
-	     the "extras" source distribution.
-	     <p>
-
-	     RedHat Package (*.rpm) <br>
-	     Compiler only (about 28 Mb): <br>
-<?
-links_to_file("mercury-compiler-0.11.0-1.i386.rpm", "0.11", "no");
-?>
-	     <br>
-	     If you get this package, we suggest that you also download
-	     the "extras" source distribution.
-             <p>

 	     Ordinary package (*.tar.gz) <br>
 	     Compiler + Extras + Tests (about 30 Mb): <br>

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