From d97ad726b1e0868783c2de2cb9f15d2d19b5bbdd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 22:10:01 +0000
Subject: Link FAQ.

---
 html/doc.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index cb259e0c..b8c1cf54 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -1,9 +1,10 @@
 <h2>Manuals for Proof General</h2>
 
 <p>
-There are two manuals for Proof General:
+There is a short FAQ and two manuals for Proof General:
 </p>
 <ul>
+<li> the <a href="FAQ">FAQ</a>  (please send any contributions)
 <li> the <a href="userman">Proof General user manual</a>
 </li>
 <li> the <a href="adaptingman">Adapting Proof General manual</a>
-- 
cgit v1.2.3