From 8e6a504ccf99da11044b901c5450ed97ca43c725 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel 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 +- doc/ProofGeneral.texi | 2 +- doc/dir | 5 ++--- 3 files changed, 4 insertions(+), 5 deletions(-) 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 diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 56bf869e..5663a6d5 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -64,7 +64,7 @@ @dircategory Theorem proving @direntry -* Proof General: (ProofGeneral). Organize your proofs with Emacs! +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! @end direntry @c diff --git a/doc/dir b/doc/dir index f81630d1..beea6f2a 100644 --- a/doc/dir +++ b/doc/dir @@ -1,4 +1,3 @@ -$Id$ This is the file .../info/dir, which contains the topmost node of the Info hierarchy. The first time you invoke Info you start off looking at that node, which is (dir)Top. @@ -16,5 +15,5 @@ File: dir Node: Top This is the top of the INFO tree * Menu: Theorem proving -* Proof General: (ProofGeneral). Organize your proofs with Emacs! -* Adapting Proof General: (PG-adapting). Adapt Proof General to new provers +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! +* Adapting PG: (PG-adapting). Adapt Proof General to new provers -- cgit v1.2.3