===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.28
retrieving revision 1.30
diff -u -p -r1.28 -r1.30
--- OpenXM/doc/install.oxweave	2000/03/15 13:18:28	1.28
+++ OpenXM/doc/install.oxweave	2000/03/17 03:22:01	1.30
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.27 2000/03/15 11:38:54 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.29 2000/03/16 11:37:19 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
@@ -194,6 +194,18 @@ If you use only OpenXM clients, skip (3) and (3').
    ここで version は OpenXM の version 番号で, たとえば, 
    2000, 3/20(Mon) 版は  1.1.2
 
+   java および linux emulation が実行に必要です.
+   java が, サーチパスのなかにある必要がありますので,
+   たとえば,
+     set path=(/usr/local/jdk1.1.8 $path) 
+     rehash
+   してから, pkg_add して下さい.
+   インストール終了後のメッセージにしたがい, 必要な設定を
+   おこなって下さい.
+
+   /usr/local にインストールしなかった場合は,
+   (2) を実行して下さい.
+
 */
 /*&eg
 
@@ -209,16 +221,26 @@ If you use only OpenXM clients, skip (3) and (3').
    For example, the version number of the OpenXM of May 20 (Mon), 2000 
    is 1.1.2
 
+   java and linux emulation are required to run OpenXM packages.
+   Java needs to be in the search path. So, for example, execute pkg_add
+   after
+     set path=(/usr/local/jdk1.1.8 $path) 
+     rehash
+   Following the message of pkg_add after the installation,
+   set asir_key and path.
+   If you do not install under /usr/local,
+   goto (2).
+
 */
 /*&jp
 
 ★ OpenXM Redhat Package manager (Linux) 
    binary パッケージのインストール方法
-      openxm-shared-version-suffix.i386.rpm
+      openxm-shared-version-suffix.noarch.rpm
       openxm-binary-version-suffix.i386.rpm
    を ftp サイトより copy して,
    root になって,
-     rpm -i  openxm-shared-version-suffix.i386.rpm
+     rpm -i  openxm-shared-version-suffix.noarch.rpm
      rpm -i  openxm-binary-version-suffix.i386.rpm
    OpenXM は /usr/local/OpenXM にインストールされます.
    あとは, 上の (4) へ.
@@ -229,16 +251,18 @@ If you use only OpenXM clients, skip (3) and (3').
    Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に
    変換できます.
 
+   /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
+
 */
 /*&eg
 
 ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux)
    Copy  
-      openxm-shared-version-suffix.i386.rpm
+      openxm-shared-version-suffix.noarch.rpm
       openxm-binary-version-suffix.i386.rpm
    from our ftp cite.
    Become the super user and type
-     rpm -i  openxm-shared-version-suffix.i386.rpm
+     rpm -i  openxm-shared-version-suffix.noarch.rpm
      rpm -i  openxm-binary-version-suffix.i386.rpm
    OpenXM will be installed to /usr/local/OpenXM
    Go to (4) above.
@@ -250,6 +274,9 @@ If you use only OpenXM clients, skip (3) and (3').
    If you are using debian, please use the command alien to translate
    rpm to deb.
 
+   If you do not install under /usr/local, goto (2).       
+       
+
 */
 
 /*&C
@@ -272,10 +299,9 @@ If you use only OpenXM clients, skip (3) and (3').
  Experimental:
    OpenXM/bin/k0,  OpenXM/bin/d0
    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)
+   OpenXM/lib/java-support/ *
  70%
    OpenXM/bin/ox_math,  OpenXM/bin/math2ox
-   Asir client functions:   om_*  (OpenMath)
-   OpenXM/lib/java-support/ *
    OpenXM/bin/sm1, ox_sm1 on Linux libc6.
 */
 /*&C