From 424ce5f435a14cbcfc85d333d365d0066106e55b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 23 Dec 2014 02:00:07 +0000
Subject: Fix a special case in _CoqProject syntax (empty string).

---
 coq/coq.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 534a2a62..5667f6d6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1157,8 +1157,9 @@ allows to call coqtop from a subdirectory of the project."
                 (second (match-string 2))
                 (first (if (null dirprefix) firstfname
                          (expand-file-name firstfname dirprefix))))
-            (if second
-                (setq opt (cons (list first second) opt))
+            (if second ; if second arg is "" (two doublequotes), it means empty string
+                (let ((sec (if (string-equal second "\"\"") "" second)))
+                  (setq opt (cons (list first sec) opt)))
               (setq opt (cons first opt))))))
       (reverse opt))))
 
-- 
cgit v1.2.3