[m-rev.] for review: improve web site download index

[Simon Taylor]

On 19-Aug-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
Estimated hours taken: 0.25

tools/generate_index_html:
	My last change didn't handle `.deb' and `.rpm' files
	correctly (this showed up in the old-releases directory).

Index: generate_index_html
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/generate_index_html,v
retrieving revision 1.5
diff -u -u -r1.5 generate_index_html
--- generate_index_html	19 Aug 2002 06:55:27 -0000	1.5
+++ generate_index_html	19 Aug 2002 09:17:32 -0000
@@ -82,6 +82,13 @@
 	date=`expr "$file" : '.*\([0-9]\{4\}-[0-9][0-9]-[0-9][0-9]\).*'`
 
 	case $file in
+	    *.rpm|*.deb)
+	    	# XXX Currently we only produce RPMs and Debian
+		# packages for major releases.
+		version=`expr "$file" : ".*-\([0-9.]*[0-9]\)-[0-9].*"`
+		release_name="Release $version"
+		release_id="$version"
+		;;
 	    *-rotd*-unstable*)
 		release_name="Unstable snapshot $date"
 		release_id="rotd-$date-unstable"
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------