===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.41
retrieving revision 1.44
diff -u -p -r1.41 -r1.44
--- OpenXM/doc/install.oxweave	2000/12/22 02:07:55	1.41
+++ OpenXM/doc/install.oxweave	2001/12/21 00:33:50	1.44
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.40 2000/12/01 02:27:31 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.43 2001/12/20 04:52:07 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
@@ -10,6 +10,21 @@ for troubles.
 OpenXM package : Getting started.
 
 This document is for OpenXM version 1.1.3.  (Draft)
+
+
+----------- 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/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)
+-------------------------------------------------------------------
 
 */
 /*&jp