===================================================================
RCS file: /home/cvs/OpenXM/src/asir-port/asir-port.sh,v
retrieving revision 1.2
retrieving revision 1.6
diff -u -p -r1.2 -r1.6
--- OpenXM/src/asir-port/asir-port.sh	2004/02/22 06:39:09	1.2
+++ OpenXM/src/asir-port/asir-port.sh	2004/03/04 12:08:30	1.6
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.1 2004/02/21 12:57:32 takayama Exp $
+# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.5 2004/03/02 09:51:45 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
@@ -19,6 +19,8 @@ asirnamegunzip="asir-$os-$md"
 asirname="asir-$os-$md.gz"
 asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asirlib-$os-$libmd.tar.gz"
 asirlibname="asirlib-$os-$libmd.tar.gz"
+ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/ox-texmacs-$os.tar.gz"
+otname="ox-texmacs-$os.tar.gz"
 
 if [ $# = 1 ]; then
 if [ $1 = "--install" ]; then
@@ -49,6 +51,7 @@ _agree() {
 	_agree
 }
 
+
 if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then
 	_agree ; \
 	echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \
@@ -64,6 +67,16 @@ if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then
 	oxfetch.sh $asirlib $HOME/.asir-tmp ; \
 	echo "Done." ; \
 	(cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \
+fi
+if [ ! -f $HOME/.asir-tmp/$otname ]; then
+	echo -n "Downloading $ot plugin... " ; \
+	oxfetch.sh $ot $HOME/.asir-tmp ; \
+	echo "Done." ; \
+	if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \
+		echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \
+		echo "Copy from ~/.asir-tmp/$otname by hand."; \
+    else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \
+    fi
 fi