===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.22
retrieving revision 1.26
diff -u -p -r1.22 -r1.26
--- OpenXM/install.txt	2003/09/03 00:20:39	1.22
+++ OpenXM/install.txt	2004/02/23 11:38:36	1.26
@@ -1,4 +1,4 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.21 2003/08/03 20:27:21 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.25 2004/02/13 02:28:55 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 They are integrated with the OpenXM protocols.
@@ -15,10 +15,14 @@ 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 make install)
+(cd OpenXM/src ; make install)
              You will get binaries, libraries, and documents under
              OpenXM/bin, OpenXM/lib, OpenXM/doc
 (cd OpenXM/rc ; make install)
@@ -32,6 +36,10 @@ or (cd OpenXM/rc ; make )
 (cd OpenXM/src ; make install-asir2000 ; make install-k097 )
              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.