From e2525601783f88690317d3768fd69cec41fc2f76 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:49:24 +0000
Subject: Fixup for filename

---
 doc/dir      | 2 +-
 doc/localdir | 2 +-
 2 files changed, 2 insertions(+), 2 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!
diff --git a/doc/localdir b/doc/localdir
index 77b71f3d..b82dd964 100644
--- a/doc/localdir
+++ b/doc/localdir
@@ -1,2 +1,2 @@
 Theorem proving
-* ProofGeneral::    Organize your proofs with Emacs!
+* Proof General: (ProofGeneral).    Organize your proofs with Emacs!
-- 
cgit v1.2.3