[m-dev.] diff: fix web install problem

[Peter Ross]

Hi,


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


Estimated hours taken: 0.1

w3/bin/install_webpages:
    Add /usr/local/bin to $PATH, so that gmake is found on hydra.


Index: install_webpages
===================================================================
RCS file: /home/staff/zs/imp/w3/bin/install_webpages,v
retrieving revision 1.9
diff -u -r1.9 install_webpages
--- install_webpages	1999/12/15 06:46:50	1.9
+++ install_webpages	2000/02/10 05:02:03
@@ -10,6 +10,8 @@
 # and be run from the top level directory of the w3 module.
 #
 
+export PATH=/usr/local/bin:$PATH
+
 whathost=`hostname | sed -e 's/\..*//'`
 if [ $whathost != "hydra" ]
 then

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