1 files changed, 1 insertions, 1 deletions
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)