From 1bfd9faf032ec2a92f8c14ae4327a6bcfb7772c8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 21:56:36 +0000
Subject: Revert last change, shell-command-to-string gives error when called
 with c:\Program Files\blah due to space in filename.  Code here needs
 reworking more heavily for out-of-the-box Windows working.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 80ccb539..a923dcba 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -133,7 +133,7 @@ On Windows you might need something like:
 (setq tags-always-exact t) ; Tags is unusable with Coq library otherwise:
 
 (defun coq-library-directory () 
-  (let ((c (substring (shell-command-to-string (concat coq-prog-name " -where")) 0 -1 )))
+  (let ((c (substring (shell-command-to-string "coqtop -where") 0 -1 )))
     (if (string-match c "not found")
 	  "/usr/local/lib/coq"
       c)))
-- 
cgit v1.2.3