From e9b7adf4709fe96ceece4b646fae2bea1e9b2085 Mon Sep 17 00:00:00 2001
From: puech
Date: Mon, 1 Aug 2011 13:46:33 +0000
Subject: Added .dir-locals file to take advantage of emacs 23's new
 Directory-local variables.

These variables are set whenever we open a file in the source tree. It sets:
* the default directory where to launch compilation (the root directory)
* the TAGS file location
* the camldebug command

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14378 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .dir-locals.el | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 .dir-locals.el

diff --git a/.dir-locals.el b/.dir-locals.el
new file mode 100644
index 0000000000..1de1655dd7
--- /dev/null
+++ b/.dir-locals.el
@@ -0,0 +1,8 @@
+((nil . ((eval . (setq default-directory (locate-dominating-file
+                                          buffer-file-name
+                                          ".dir-locals.el")
+                       tags-file-name (concat default-directory
+                                          "TAGS")
+                       camldebug-command-name (concat
+                                          default-directory "dev/ocamldebug-coq")
+)))))
\ No newline at end of file
-- 
cgit v1.2.3