diff options
author | 1998-09-24 17:27:21 +0000 | |
---|---|---|
committer | 1998-09-24 17:27:21 +0000 | |
commit | 65c84829d0c5748dbf104331f4c72ebb963408ba (patch) | |
tree | 46d01be27a77b72a1dc68db4f5691dc1880c440f /doc/ProofGeneral.texi | |
parent | a5da33d49f9868a9366267425d82da0329691f88 (diff) |
Added INFO-DIR entry
Diffstat (limited to 'doc/ProofGeneral.texi')
-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 |