===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.14
retrieving revision 1.16
diff -u -p -r1.14 -r1.16
--- OpenXM/install.txt	2000/09/09 03:01:22	1.14
+++ OpenXM/install.txt	2001/12/20 03:44:09	1.16
@@ -1,8 +1,8 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.13 2000/01/18 12:29:09 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.15 2000/09/23 07:28:10 takayama Exp $    
 
-The OpenXM package is a package of mathematical softwares.
-The OpenXM protocol provides a infrastructure for free, or open source
-mathematical softwares.
+The OpenXM package is a package of mathematical software systems.
+The OpenXM protocol provides an infrastructure for free, or open source
+mathematical software systems.
 
 As to installation procedures,
    see doc/install-en.txt  in English
@@ -15,6 +15,18 @@ These files will be generated from install.oxweave by 
 in a source distribution.
 
 As to Copyright notice, see the directory Copyright.
+
+-------- A quick instruction for 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)
+             Shell scripts to start "asir", "sm1", ... will be copied to
+             /usr/local/bin
+
+(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
+             You will get only asir (OpenXM version) and kan/sm1.
+