===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.12
retrieving revision 1.17
diff -u -p -r1.12 -r1.17
--- OpenXM/install.txt	1999/12/15 03:30:12	1.12
+++ OpenXM/install.txt	2001/12/20 04:52:07	1.17
@@ -1,14 +1,35 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.11 1999/12/14 13:05:27 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.16 2001/12/20 03:44:09 takayama Exp $    
 
-OpenXM is a package of 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-eg.txt  in English
+   see doc/install-en.txt  in English
 and
-   see doc/install-jp.txt  in Japanese.
+   see doc/install-ja.txt  in Japanese.
 
 These files will be generated from install.oxweave by 
    cd doc
    make
+in a source distribution.
+
+As to Copyright notice, see the directory Copyright.
+
+-------- 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/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)
+
+