From 585d10259522cb8b01be0143b2668bfae3b643b9 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Tue, 8 Jun 1999 07:46:53 +0000
Subject: *** empty log message ***

---
 generic/proof-shell.el | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 6e640ed1..64fd86ba 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -196,16 +196,14 @@ Does nothing if proof assistant is already running."
     (run-hooks 'proof-pre-shell-start-hook)
     (setq proof-included-files-list nil)
 
-    ;; Added 05/99 by Papageno
+    ;; Added 05/99 by Patrick L.
     (let ((name (buffer-file-name (current-buffer))))
       ;; FIXME : we check that the buffer corresponds to a file,
       ;; but we do not check that it is in coq- or isa-mode
       (if (and name proof-prog-name-guess proof-guess-command-line)
-	  (let ((dir (file-name-directory name)))
-	    (if (file-exists-p (concat dir "Makefile"))
-		(setq proof-prog-name 
-		      (apply proof-guess-command-line (list name)))))))
-
+	  (setq proof-prog-name 
+		(apply proof-guess-command-line (list name)))))
+    
     (if proof-prog-name-ask
 	(save-excursion
 	  (setq proof-prog-name (read-shell-command "Run process: "
-- 
cgit v1.2.3