[m-dev.] diff: fix for generate_index_html

[David Glen JEFFERY]

Estimated hours taken: 0.25


generate_index_html:
	Don't include any of the index.html.$HOST files or index.html.
test_mercury:
	Remove an extraneous `/' from a directory name.

Index: generate_index_html
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/generate_index_html,v
retrieving revision 1.1
diff -u -t -r1.1 generate_index_html
--- generate_index_html	2000/06/27 01:25:14	1.1
+++ generate_index_html	2000/06/27 04:29:11
@@ -26,7 +26,7 @@
 
 for file in * 
 do
-    if [ $file != index.html ]  && [ $file != README ]
+    if [ `expr $file : index\.html` -ne 10 ]  && [ $file != README ]
     then
         if [ -d $file ]
         then
Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.110
diff -u -t -r1.110 test_mercury
--- test_mercury	2000/06/27 01:25:15	1.110
+++ test_mercury	2000/06/27 01:25:53
@@ -110,7 +110,7 @@
 BETA_FTPHOST=ftp.mercury.cs.mu.oz.au
 BETA_FTPDIR=/home/ftp/pub/mercury/beta-releases
 BETA_WEBDIR=/home/mercury5/installed_w3/download/files/beta-releases
-BETA_WEBDIR_TOP=/home/mercury5/installed_w3/download/files/
+BETA_WEBDIR_TOP=/home/mercury5/installed_w3/download/files
 
 STABLE=$DIR/mercury-latest-stable
 UNSTABLE=$DIR/mercury-latest-unstable



dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------