From 61df7c552bf601181981f012bde6ff185dab8ff4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:38:05 +0000
Subject: Added back space in info file name

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 4e6cb042..a60b1cac 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1485,7 +1485,7 @@ No action if BUF is nil."
     ["Proof General home page"
      (browse-url proof-proof-general-home-page) t]
     ["Proof General Info"
-     (info "ProofGeneral") t]
+     (info "Proof General") t]
     )
   "Proof General help menu.")
 
-- 
cgit v1.2.3