From 3ac0eb463ca1c6a3b72c3a55897634447ed22675 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Sep 2000 17:31:47 +0000
Subject: Fix infodir entry, it got broken somehow.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index ef225f69..afd1aa62 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -72,8 +72,9 @@
 
 @ifinfo
 @format
-START-INFO-DIR-ENTRY * Proof General: (ProofGeneral). Organize your
-proofs with Emacs!  END-INFO-DIR-ENTRY
+START-INFO-DIR-ENTRY 
+* Proof General: (ProofGeneral). Organize your proofs with Emacs!  
+END-INFO-DIR-ENTRY
 @end format
 @end ifinfo
 
-- 
cgit v1.2.3