===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.16
retrieving revision 1.19
diff -u -p -r1.16 -r1.19
--- OpenXM/install.txt	2001/12/20 03:44:09	1.16
+++ OpenXM/install.txt	2002/08/03 07:05:48	1.19
@@ -1,4 +1,4 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.15 2000/09/23 07:28:10 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.18 2001/12/21 00:33:49 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 The OpenXM protocol provides an infrastructure for free, or open source
@@ -16,17 +16,24 @@ in a source distribution.
 
 As to Copyright notice, see the directory Copyright.
 
--------- A quick instruction for installation.
+-------- An instruction for a quick installation from the source code ---
 (cd OpenXM/src ; make configure ; make install)
              You will get binaries, libraries, and documents under
              OpenXM/bin, OpenXM/lib, OpenXM/doc
-(cd OpenXM/misc ; make install)
+(cd OpenXM/rc ; make install)
              Shell scripts to start "asir", "sm1", ... will be copied to
              /usr/local/bin
 
+------- If you need only asir and kan,
 (cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
              You will get only asir (OpenXM version) and kan/sm1.
+(cd OpenXM/rc ; make install)
 
+-------------------------------------------
+Risa/Asir with asir-contrib is the main client system in the OpenXM project.
+You can start Risa/Asir by the command "asir".
+The manual of Risa/Asir and Asir-contrib can be found in the 
+OpenXM/doc directory and http://www.openxm.org