From f5eac3af8d3bab3352b47e5505299e0e0d948860 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:09:27 +0000
Subject: Removed space from ProofGeneral name.

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 97fd4831..0bf2c306 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 "Proof General") t]
+     (info "ProofGeneral") t]
     )
   "Proof General help menu.")
 
-- 
cgit v1.2.3