From 23792ca17ac646eadf08c7be62ccda7767002449 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:37:13 +0000
Subject: More hacks to variable names for customize (sorry)

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 17bb6d6b..095e920d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -330,7 +330,7 @@
   (setq proof-comment-start "(*")
   (setq proof-comment-end "*)")
 
-  (setq proof-www-home-page coq-www-home-page)
+  (setq proof-assistant-home-page coq-www-home-page)
 
   (setq proof-mode-for-script 'coq-mode)
 
-- 
cgit v1.2.3