From 427e97df9f723cc47e5053c743dfe19daee88511 Mon Sep 17 00:00:00 2001
From: courtieu
Date: Tue, 22 Oct 2013 10:57:39 +0000
Subject: emacs config: next-error search path ok even if default-directory
 unset. This way next-error behaves accordingly with make -C. Making the
 setting of default-directory independent of the compile/next-error setting.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16905 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .dir-locals.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.dir-locals.el b/.dir-locals.el
index 0b8d726888..182d5ff713 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -17,9 +17,10 @@
 
 	    ;; Setting the compilation directory to coq root. This is
 	    ;; mutually exclusive with the setting of default-directory
-	    ;; below.
+	    ;; below. Also setting the path for next error.
 	    (unless coq-project-find-file
-	      (setq compile-command (concat "make -C " coq-root-directory)))
+	      (setq compile-command (concat "make -C " coq-root-directory))
+	      (setq compilation-search-path (cons coq-root-directory nil)))
 
 	    ;; Set default directory to coq root ONLY IF variable
 	    ;; coq-project-find-file is non nil. This should remain a
-- 
cgit v1.2.3