diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:07:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:07:48 +0000 |
| commit | 116a5129d07d8a08a04391c515f6f19d3cfb04a9 (patch) | |
| tree | 23ac690a4807d0d5254efc5cc4881967e28b312d | |
| parent | 794cf37e93002f0c3d37dc444831b4e14e207e3f (diff) | |
Added space after colon in info dir entry.
| -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 |