===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.25
retrieving revision 1.27
diff -u -p -r1.25 -r1.27
--- OpenXM/install.txt	2004/02/13 02:28:55	1.25
+++ OpenXM/install.txt	2004/02/24 06:16:31	1.27
@@ -1,8 +1,8 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.24 2004/02/13 00:51:23 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.26 2004/02/23 11:38:36 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,
@@ -36,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.