From e28ca43a04cb004ef958dd56116475a0655eebb3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 21:50:32 +0000
Subject: Use coq-prog-name when looking for library, not hard coded coqtop

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

diff --git a/coq/coq.el b/coq/coq.el
index 924a7338..80ccb539 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -22,7 +22,7 @@
   (require 'span))
 
 (require 'coq-local-vars) 
-(require 'coq-syntax)      ; determines coq version
+(require 'coq-syntax)      ; determines coq version, sets coq-prog-name
 
 ;; ----- coq-shell configuration options
 
@@ -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 "coqtop -where") 0 -1 )))
+  (let ((c (substring (shell-command-to-string (concat coq-prog-name " -where")) 0 -1 )))
     (if (string-match c "not found")
 	  "/usr/local/lib/coq"
       c)))
-- 
cgit v1.2.3