1 files changed, 2 insertions, 1 deletions

diff --git a/doc/dir b/doc/dir
index 134485ff..54534ec3 100644
--- a/doc/dir
+++ b/doc/dir
@@ -16,4 +16,5 @@ File: dir	Node: Top	This is the top of the INFO tree
 * Menu: 
 
 Theorem proving
-* Proof General: (ProofGeneral).   Organize your proofs with Emacs!
+* Proof General: (ProofGeneral).         Organize your proofs with Emacs!
+* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers