diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files 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 |