From 65c84829d0c5748dbf104331f4c72ebb963408ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 17:27:21 +0000
Subject: Added INFO-DIR entry

---
 doc/ProofGeneral.texi | 10 ++++++++++
 1 file changed, 10 insertions(+)

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
-- 
cgit v1.2.3