diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:27:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:27:21 +0000 |
| commit | 65c84829d0c5748dbf104331f4c72ebb963408ba (patch) | |
| tree | 46d01be27a77b72a1dc68db4f5691dc1880c440f | |
| parent | a5da33d49f9868a9366267425d82da0329691f88 (diff) | |
Added INFO-DIR entry
| -rw-r--r-- | doc/ProofGeneral.texi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 7301879c..1f7c9fb4 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -8,6 +8,16 @@ @paragraphindent 0 @c %**end of header +@ignore +@ifinfo +@format +START-INFO-DIR-ENTRY +* ProofGeneral::Organize your proofs with Emacs! +END-INFO-DIR-ENTRY +@end format +@end ifinfo +@end ignore + @setchapternewpage odd @titlepage |