From faf3c6eebb2db3f6ced7f9a72a78a7312eb6706b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 17 Feb 2008 13:12:24 +0000
Subject: Docstring with keymap

---
 lego/lego.el | 5 +++--
 phox/phox.el | 5 ++++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/lego/lego.el b/lego/lego.el
index bffdf290..0d138804 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -149,8 +149,9 @@ Activates extended printing routines required for Proof General.")
 
 (define-derived-mode lego-shell-mode proof-shell-mode
    "lego-shell"
-   ;; With nil argument for docstring, Emacs makes up a nice one.
-   nil
+     "Major mode for LEGO proof scripts.
+
+\\{lego-mode-map}"
    (lego-shell-mode-config))
 
 (define-derived-mode lego-mode proof-mode
diff --git a/phox/phox.el b/phox/phox.el
index a26f0105..7f54c5a8 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -176,7 +176,10 @@
 ;; <mode>-config-done function to complete configuration.
 
 (define-derived-mode phox-mode proof-mode
-    "PhoX script" nil
+    "PhoX script" 
+     "Major mode for PhoX proofs.
+
+\\{phox-mode-map}"
     (phox-config)
     (proof-config-done)
     (phox-setup-outline)
-- 
cgit v1.2.3