===================================================================
RCS file: /home/cvs/OpenXM/src/asir-port/asir-port.sh,v
retrieving revision 1.10
retrieving revision 1.13
diff -u -p -r1.10 -r1.13
--- OpenXM/src/asir-port/asir-port.sh	2006/02/08 02:06:52	1.10
+++ OpenXM/src/asir-port/asir-port.sh	2006/02/13 04:37:36	1.13
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.9 2006/02/06 04:54:13 takayama Exp $
+# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.12 2006/02/10 06:01:19 takayama Exp $
 # Downloading Risa/Asir for FLL-free systems.
 # Risa/Asir is installed under $HOME/.asir-tmp/$asirname
 # Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist
@@ -8,7 +8,7 @@
 version=`cat $OpenXM_HOME/lib/version.txt`
 os=`uname -s`
 md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5`
-libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib.md5`
+libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5`
 # For testing
 #asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe"
 #asirname="gzip.exe"
@@ -20,13 +20,18 @@ asirnamegunzip="asir-$os-$version"
 asirname="asir-$os-$version.gz"
 asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/asirlib-$os-$version.tar.gz"
 asirlibname="asirlib-$os-$version.tar.gz"
-ot="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os.tar.gz"
-otname="ox-texmacs-$os.tar.gz"
+ot="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os-$version.tar.gz"
+otname="ox-texmacs-$os-$version.tar.gz"
 
 if [ $# = 1 ]; then
 if [ $1 = "--install" ]; then
- rm -rf $HOME/.asir-tmp
+ rm -rf $HOME/.asir-tmp ;
+ rm -f /usr/local/OpenXM/bin/asir ;
 fi
+fi
+
+if [ -f /usr/local/OpenXM/bin/asir ]; then
+  $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* ; exit ;
 fi
 
 _agree() {