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