From b3ee5d1189e7d4e680faaf707dd9245b40f9eb55 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 22 Sep 1998 13:27:47 +0000
Subject: Fixed docstrings for derived modes

---
 coq/coq.el | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index c8d13a74..45931ac3 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -86,15 +86,17 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (define-derived-mode coq-shell-mode proof-shell-mode
-   "coq-shell" "Inferior shell mode for coq shell"
+   "coq-shell" 
+   ;; With nil argument for docstring, Emacs makes up a nice one.
+   nil
    (coq-shell-mode-config))
 
 (define-derived-mode coq-mode proof-mode
-   "coq" "Coq Mode"
+   "coq" nil
    (coq-mode-config))
 
 (define-derived-mode coq-pbp-mode pbp-mode
-  "pbp" "Proof-by-pointing support for Coq"
+  "pbp" nil
   (coq-pbp-mode-config))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3