===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.23
retrieving revision 1.28
diff -u -p -r1.23 -r1.28
--- OpenXM/install.txt	2003/09/13 01:46:27	1.23
+++ OpenXM/install.txt	2004/03/25 02:01:15	1.28
@@ -1,8 +1,8 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.22 2003/09/03 00:20:39 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.27 2004/02/24 06:16:31 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 They are integrated with the OpenXM protocols.
-The OpenXM protocol provides an infrastructure for free, or open source
+The OpenXM protocol provides an infrastructure for 
 mathematical software systems.
 
 As to installation procedures,
@@ -15,7 +15,11 @@ These files will be generated from install.oxweave by 
    make
 in the source distribution.
 
-As to the copyright notice, see the directory Copyright.
+As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...).
+We understand that you agree with our licence when you started "make".
+If you provide binaries generated to "users", you need to let users know 
+that we understand that once an user starts our system, he/she agrees 
+with our licence.
 
 -------- An instruction for a quick installation from the source code ---
 (cd OpenXM/src ; make install)
@@ -33,6 +37,10 @@ or (cd OpenXM/rc ; make )
              You will get only asir and kan/sm1.
 (cd OpenXM/rc ; make install)
 
+------- Generating html/ps documents under OpenXM/doc
+After installation,
+(cd OpenXM/src ;  make install-document)
+
 -------------------------------------------
 Risa/Asir with asir-contrib is the main client system in the OpenXM project.
 You can start Risa/Asir by the command "asir", which is called
@@ -40,6 +48,14 @@ OpenXM/Risa/Asir.
 It is build by (cd OpenXM/src ; make install-asir-contrib)
 The manual of Risa/Asir and Asir-contrib can be found in the 
 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,
+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.