From 9e9f83f0180d9bcd1d232737d8fc5642805e6e41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 Aug 2001 13:04:01 +0000
Subject: Fix screenshot link

---
 html/main.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/main.html b/html/main.html
index 74a35517..ec891cf3 100644
--- a/html/main.html
+++ b/html/main.html
@@ -27,7 +27,7 @@ To read more about what Proof General
 provides, 
 <a href="features">check the features list</a>.
 To see what Proof General looks like in use, have a look at these
-<a href="screenshot.html">screenshots</a>.
+<a href="screenshot">screenshots</a>.
 To download Proof General, visit the
 <a href="download">download page</a>.
 To contact the developers, click
@@ -147,7 +147,8 @@ seeking volunteers to support and improve each of these
 Proof General is ready to be customized to new proof assistants.
 It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el",
 "very easy"); ?> to get basic support working.
-Full documentation on configuration is provided.
+Full <a href="ProofGeneral/doc/PG-adapting.pdf">documentation on 
+configuration</a> is provided.
 </p>
 
 
-- 
cgit v1.2.3