From afd1cb8cf34fa0010e6fcceab08f24c993da0fb3 Mon Sep 17 00:00:00 2001
From: vgross
Date: Thu, 18 Feb 2010 17:57:37 +0000
Subject: Polishing the setup of CoqIDE Input Method

autodetection via ./configure, automated installation target
"install-im", and no more patching. Plus documentation of the procedure
in the reference manual.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12790 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/uim/patch-uim.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 ide/uim/patch-uim.sh

(limited to 'ide/uim/patch-uim.sh')

diff --git a/ide/uim/patch-uim.sh b/ide/uim/patch-uim.sh
deleted file mode 100755
index cd8c495133..0000000000
--- a/ide/uim/patch-uim.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-BASEDIR=`dirname $0`
-UIMDIR="/usr/share/uim"
-
-RULES=$BASEDIR/latin-ltx-rules.scm
-
-echo "adding latin_ltx-rules to elatin"
-cp $UIMDIR/elatin-rules.scm $UIMDIR/elatin-rules.scm.orig
-cat $BASEDIR/latin-ltx-rules.scm >> $UIMDIR/elatin-rules.scm
-
-echo "patching elatin-custom.scm"
-cp $UIMDIR/elatin-custom.scm $UIMDIR/elatin-custom.scm.orig
-sed -e "/elatin-rules-latvian-keyboard/ \
-s/^.*$/\t(list 'elatin-rules-latin-ltx\n\
-\t(N_ \"Latin-ltx\")\n\
-\t(N_ \"Latex-style input method.\"))\n\
-&/" $UIMDIR/elatin-custom.scm.orig > $UIMDIR/elatin-custom.scm
-
-if [ "x$AUTOON" = "xyes" ]; then
-	echo "setting elatin to be on by default"
-	cp $UIMDIR/elatin.scm $UIMDIR/elatin.scm.orig
-	sed -e "/default-widget_elatin_input_mode/ s/action_elatin_off/action_elatin_on/" \
-		$UIMDIR/elatin.scm.orig > $UIMDIR/elatin.scm
-fi
-
-echo "all done"
-- 
cgit v1.2.3