===================================================================
RCS file: /home/cvs/OpenXM/src/asir-port/asir-install.sh,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/asir-port/asir-install.sh	2004/02/27 00:12:22	1.1
+++ OpenXM/src/asir-port/asir-install.sh	2004/03/02 09:51:45	1.2
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM$
+# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.1 2004/02/27 00:12:22 takayama Exp $
 # Downloading Risa/Asir for FLL-free systems.
 # Risa/Asir is installed under $OpenXM_HOME/bin
 os=`uname -s`
@@ -75,7 +75,11 @@ if [ ! -f $HOME/.asir-tmp/$otname ]; then
 	echo -n "Downloading the $ot plugin... " ; \
 	oxfetch.sh $ot $HOME/.asir-tmp ; \
 	echo "Done." ; \
-	(cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \
+	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