diff options
| -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 |