diff options
author | 2000-09-21 17:31:47 +0000 | |
---|---|---|
committer | 2000-09-21 17:31:47 +0000 | |
commit | 3ac0eb463ca1c6a3b72c3a55897634447ed22675 (patch) | |
tree | 7639b48606607506d2ff95b985d806c1a336d613 /doc/ProofGeneral.texi | |
parent | 2f62dc1598c493cab6b8b8850cc5ea9fd03e1883 (diff) |
Fix infodir entry, it got broken somehow.
Diffstat (limited to 'doc/ProofGeneral.texi')
-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 |