diff options
-rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files 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 |