From d9ef3bf559c08481e23efdb54f89e798684eec60 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Feb 2008 12:52:10 +0000
Subject: Add mode documentation

---
 coq/coq.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index a923dcba..0a286c73 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -219,7 +219,10 @@ On Windows you might need something like:
  
 (eval-and-compile
   (define-derived-mode coq-mode proof-mode
-   "coq" nil
+   "coq" 
+     "Major mode for Coq scripts.
+
+\\{coq-mode-map}"
    (coq-mode-config)))
 
 (eval-and-compile
-- 
cgit v1.2.3