===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -p -r1.28 -r1.29
--- OpenXM/install.txt	2004/03/25 02:01:15	1.28
+++ OpenXM/install.txt	2004/03/31 01:42:58	1.29
@@ -1,4 +1,4 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.27 2004/02/24 06:16:31 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.28 2004/03/25 02:01:15 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 They are integrated with the OpenXM protocols.
@@ -50,12 +50,17 @@ The manual of Risa/Asir and Asir-contrib can be found 
 OpenXM/doc directory and http://www.openxm.org
 
 --------------
-gc and gmp will be automatically downloaded from ftp.math.kobe-u.ac.jp
-and stored in OpenXM_dist (OpenXM/../OpenXM_dist).
-If you cannot connect the ftp server directory,
+gc and gmp will be automatically downloaded from 
+   ftp.math.kobe-u.ac.jp/pub/OpenXM/misc
+and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget.
+If you cannot connect to the ftp server directory,
 please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc*
 and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp*
 under OpenXM_dist by hand before make.
+If you can connect to the ftp server via a proxy server,
+specify your ftp proxy server  in ~/.wgetrc as
+  ftp_proxy = http://proxy.yoyodyne.com:18023/
+See the manual of wget for details.