From 116a5129d07d8a08a04391c515f6f19d3cfb04a9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 16 Dec 1998 18:07:48 +0000
Subject: Added space after colon in info dir entry.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 5170158a..c723336d 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -50,8 +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