From 5e62a6a476c925e58e169e43468ed0cee422bb1a Mon Sep 17 00:00:00 2001
From: pboutill
Date: Mon, 21 Nov 2011 16:58:35 +0000
Subject: coqide default pref files are by default in /etc/xdg/coq/

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14715 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config/Makefile.template')

diff --git a/config/Makefile.template b/config/Makefile.template
index e9067e98f7..11bc3ee7e8 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -34,6 +34,7 @@ BUILDLDPATH=
 # EMACSDIR=path where to put Coq's Emacs mode (coq.el)
 BINDIR="BINDIRDIRECTORY"
 COQLIBINSTALL="COQLIBDIRECTORY"
+CONFIGDIR="CONFIGDIRDIRECTORY"
 MANDIR="MANDIRDIRECTORY"
 DOCDIR="DOCDIRDIRECTORY"
 EMACSLIB="EMACSLIBDIRECTORY"
-- 
cgit v1.2.3