From 8e6a504ccf99da11044b901c5450ed97ca43c725 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 00:12:00 +0200
Subject: Update Info dir file (so there’s no unwanted line break)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 doc/PG-adapting.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/PG-adapting.texi')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index c3ddb837..5740faa2 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -58,7 +58,7 @@
 
 @dircategory Theorem proving
 @direntry
-* Adapting Proof General: (PG-adapting).  Adapt Proof General to new provers
+* Adapting PG: (PG-adapting). Adapt Proof General to new provers
 END-INFO-DIR-ENTRY
 @end direntry
 
-- 
cgit v1.2.3