diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 37ce0d8f..5170158a 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -50,7 +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 |