From afd1cb8cf34fa0010e6fcceab08f24c993da0fb3 Mon Sep 17 00:00:00 2001
From: vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7>
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
---
 config/Makefile.template | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 8864f52d0..74ec95807 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -138,6 +138,9 @@ STRIP=STRIPCOMMAND
 # CoqIde (no/byte/opt)
 HASCOQIDE=COQIDEOPT
 
+# IM files
+UIMSCRIPTDIR=UIMSCRIPTPATH
+
 # Defining REVISION
 CHECKEDOUT=CHECKEDOUTSOURCETREE
 
-- 
cgit v1.2.3