From a65f4b532fe1611aaecb19334ac5cc6671d83b9f Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Sat, 9 Jun 2012 12:58:56 +0000
Subject: Made a small change in generic code about the setting of
 comment-start-skip: if it is already set then proof-script should not change
 it. Ultimately if David approves we should moreover fix the setting itself
 which is bugged. coq-mode now sets this variable by itself.

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 9a9d4042..74e92918 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2390,11 +2390,13 @@ assistant."
 	      (regexp-quote "\n") ;; end-of-line terminated comments
 	    (regexp-quote proof-script-comment-end))))
 
+  ;; BOGUS
   (make-local-variable 'comment-start-skip)
-  (setq comment-start-skip
-	(if (string-equal "" proof-script-comment-end)
-	    (regexp-quote "\n") ;; end-of-line terminated comments
-	  (regexp-quote proof-script-comment-end))))
+  (unless comment-start-skip
+    (setq comment-start-skip
+	  (if (string-equal "" proof-script-comment-end)
+	      (regexp-quote "\n") ;; end-of-line terminated comments
+	    (regexp-quote proof-script-comment-end)))))
 
 
 
-- 
cgit v1.2.3