1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dir b/doc/dir
index fb63c6dc..134485ff 100644
--- a/doc/dir
+++ b/doc/dir
@@ -16,4 +16,4 @@ File: dir	Node: Top	This is the top of the INFO tree
 * Menu: 
 
 Theorem proving
-* ProofGeneral::    Organize your proofs with Emacs!
+* Proof General: (ProofGeneral).   Organize your proofs with Emacs!