[m-dev.] diff: change locn of WWW dir in test_mercury

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1

tools/test_mercury:
    Change the location of the WWW dir.


Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.105
diff -u -r1.105 test_mercury
--- test_mercury	2000/01/26 08:33:25	1.105
+++ test_mercury	2000/02/22 01:15:18
@@ -101,7 +101,7 @@
 
 BETA_FTPHOST=ftp.mercury.cs.mu.oz.au
 BETA_FTPDIR=/home/ftp/pub/mercury/beta-releases
-BETA_WEBDIR=/local/dept/w3/unsupported/docs/mercury/download/files/beta-releases
+BETA_WEBDIR=/home/mercury5/installed_w3/download/files/beta-releases
 
 STABLE=$DIR/mercury-latest-stable
 UNSTABLE=$DIR/mercury-latest-unstable

----
Peter Ross
PhD Student University of Melbourne
http://www.cs.mu.oz.au/~petdr/
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------