===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.42
retrieving revision 1.43
diff -u -p -r1.42 -r1.43
--- OpenXM/doc/install.oxweave	2001/12/20 03:44:10	1.42
+++ OpenXM/doc/install.oxweave	2001/12/20 04:52:07	1.43
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.41 2000/12/22 02:07:55 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.42 2001/12/20 03:44:10 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
@@ -12,17 +12,18 @@ OpenXM package : Getting started.
 This document is for OpenXM version 1.1.3.  (Draft)
 
 
------------ An instruction for quick installation -----------------
+----------- An instruction for a quick installation -----------------
 (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/(sm1, k0),
 (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)
 -------------------------------------------------------------------
 
 */