diff options
| author |  courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-15 13:03:16 +0000 |
|---|---|---|
| committer | courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-15 13:03:16 +0000 |
| commit | 86b4195557d08055da97d292325fcdee333acea8 (patch) | |
| tree | 9f379faf6893f60970326b9d777030e77ae313d3 /.dir-locals.el | |
| parent | e68a6d04a38cb601a0af8fbe3f7d2db291ea3d0b (diff) | |
Fixing emacs diff bug with .dir-locals.el.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15974 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 092973c39..0b8d72688 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -4,8 +4,10 @@ . ((eval . (progn ;; coq root directory (ending with slash) - (let ((coq-root-directory (locate-dominating-file buffer-file-name - ".dir-locals.el")) + (let ((coq-root-directory (when buffer-file-name + (locate-dominating-file + buffer-file-name + ".dir-locals.el"))) (coq-project-find-file (and (boundp 'coq-project-find-file) coq-project-find-file))) ;; coq tags file and coq debugger executable |