diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:04:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:04:11 +0000 |
commit | 794cf37e93002f0c3d37dc444831b4e14e207e3f (patch) | |
tree | 93d2787846e173eea2f8dc090b3e377bb23aef3f /doc | |
parent | 65dbcc23512b2fca4de96975f20045ef45578287 (diff) |
Fixed INFO-DIR-ENTRY (newline was lost)
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 |