===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.49
retrieving revision 1.51
diff -u -p -r1.49 -r1.51
--- OpenXM/doc/install.oxweave	2005/04/15 00:50:54	1.49
+++ OpenXM/doc/install.oxweave	2008/06/03 00:24:49	1.51
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.48 2004/02/03 23:36:09 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.50 2008/02/18 06:36:12 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
@@ -11,6 +11,7 @@ OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
 /*&jp
 
 ------------ ソースからコンパイルしてインストールする方法 ----
+
 (cd OpenXM/src ; make install)
              バイナリとライブラリとドキュメント類は
              OpenXM/bin, OpenXM/lib, OpenXM/doc
@@ -21,10 +22,23 @@ OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
              にコピーされます.
              この部分は root で実行してください.
 
+
+たとえば openxm asir と入力して, asir がスタートすればインストール
+はうまくいっていると思われます.
+
 なお一部のソースは ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc より
-OpenXM_dist に make 中にダウンロードされます.  したがって, make するときは
+OpenXM_dist に make 中に wget コマンドでダウンロードされます.  
+したがって, make するときは
 インターネットに接続されている必要があります.
 
+ファイアウオール内でもし passive ftp が使えない場合は,
+環境変数 ftp_proxy を正しく設定すればうまくいく場合があるかもしれません.
+詳しくは wget のマニュアルを見てください.
+ダウンロードしたライブラリのソースは
+OpenXM_dist ( OpenXM と並列した場所です ) に格納されます.
+ここに手動で必要なライブラリのソースをおいとけば,  offline でも
+コンパイル可能です.
+
 */
 
 /*&eg
@@ -33,6 +47,7 @@ OpenXM package : Getting started.
 
 
 ----------- An instruction for a quick installation from the source code ---
+
 (cd OpenXM/src ;  make install)
              You will get binaries, libraries, and documents under
              OpenXM/bin, OpenXM/lib, OpenXM/doc
@@ -41,11 +56,21 @@ OpenXM package : Getting started.
              /usr/local/bin
              This part should be executed as the root.
 
+Please try 
+  openxm asir
+If asir starts, then your installation seems to be successful.
 
+
 Some sources are downloaded from ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc
-to OpenXM_dist during the make. So, your machine must be accessible to 
-the internet. 
+to OpenXM_dist during the make by the wget command. 
+So, your machine must be accessible to the internet. 
 
+If you are in a firewall and cannot use even the passive
+ftp, the environmental variable ftp_proxy may help you.
+See the document of wget.  All necessary library sources are downloaded in
+OpenXM_dist at the same level of OpenXM. If you are offline, please put
+all library sources necessary in this directory by hand.
+
 */
 
 
@@ -96,7 +121,9 @@ A.   
     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の
     ファイルを自動生成します.  
     openxm, asir, oxmath などは OpenXM クライアントを起動するための
-    シエルスクリプトです. これらを /usr/local/bin にインストールするには
+    シエルスクリプトです.  たとえば openxm asir と入力すれば OpenXM 環境で
+    asir が動作します. 
+    これらを /usr/local/bin にインストールするには
     次のように入力します. 
 
 */
@@ -109,6 +136,9 @@ A.
     It generates  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and 
     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ...
     The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.
+    For example, if you input  
+       openxm asir
+    then asir starts in the OpenXM enviroment.
     If you want to install these shell scripts to /usr/local/bin,
     type in as follows.