From 794cf37e93002f0c3d37dc444831b4e14e207e3f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 16 Dec 1998 18:04:11 +0000
Subject: Fixed INFO-DIR-ENTRY  (newline was lost)

---
 doc/ProofGeneral.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 37ce0d8f..5170158a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -50,7 +50,8 @@
 
 @ifinfo
 @format
-START-INFO-DIR-ENTRY * ProofGeneral::Organize your proofs with Emacs!
+START-INFO-DIR-ENTRY 
+* ProofGeneral::Organize your proofs with Emacs!
 END-INFO-DIR-ENTRY
 @end format
 @end ifinfo
-- 
cgit v1.2.3