TeX input method is now supported upstream

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13514 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 15 deletions

diff --git a/configure b/configure
index e24289e8ae..a8dedb76c2 100755
--- a/configure
+++ b/configure
@@ -71,8 +71,6 @@ usage () {
     printf "\tSpecifies whether or not to use dynamic loading of native code\n"
     echo "-coqide (opt|byte|no)"
     printf "\tSpecifies whether or not to compile Coqide\n"
-    echo "-uim-script-path"
-    printf "\tSpecifies where uim's .scm files are installed\n"
     echo "-browser <command>"
     printf "\tUse <command> to open URL %%s\n"
     echo "-with-doc (yes|no)"
@@ -262,9 +260,6 @@ while : ; do
     -force-caml-version|--force-caml-version|-force-ocaml-version|--force-ocaml-version) 
           force_caml_version_spec=yes
 	  force_caml_version=yes;;
-    -uim-script-path)
-          uim_script_path=$2
-          shift;;
     *) echo "Unknown option \"$1\"." 1>&2; usage; exit 2;;
   esac
   shift
@@ -657,15 +652,6 @@ case $COQIDE in
     no) LABLGTKINCLUDES="";;
 esac
 
-if which uim-fep; then
-    for cand in i"$uim_script_path" /usr/local/share/uim/ /usr/share/uim/; do
-        if [ -f "$cand/loader.scm" ]; then
-            UIMSCRIPTDIR=$cand
-            break
-        fi
-    done
-fi
-
 # strip command
 
 case $ARCH in
@@ -1106,7 +1092,6 @@ sed -e "s|LOCALINSTALLATION|$local|" \
     -e "s|CHECKEDOUTSOURCETREE|$checkedout|" \
     -e "s|WITHDOCOPT|$with_doc|" \
     -e "s|HASNATIVEDYNLINK|$NATDYNLINKFLAG|" \
-    -e "s|UIMSCRIPTPATH|$UIMSCRIPTDIR|" \
       "$config_template" > "$config_file"
 
 chmod a-w "$config_file"