From 0e708337ee11ea05db2043a2d07c7dcf78dc25a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 19:20:44 +0000
Subject: Bind coqdoc-html to C-c % w to avoid clash with help key.

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

diff --git a/coq/coq-mmm.el b/coq/coq-mmm.el
index 46f9476f..70e3f107 100644
--- a/coq/coq-mmm.el
+++ b/coq/coq-mmm.el
@@ -33,7 +33,7 @@
    :face mmm-comment-submode-face
    :front "(\\*\\*[^#]*#"
    :back  "#[ \t]*\\*)"
-   :insert ((?h coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @)))
+   :insert ((?w coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @)))
 
    (coq-verbatim
    :submode text-mode
-- 
cgit v1.2.3