From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 html/screenshot.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/screenshot.html')

diff --git a/html/screenshot.html b/html/screenshot.html
index b57c0d37..662c19a4 100644
--- a/html/screenshot.html
+++ b/html/screenshot.html
@@ -103,6 +103,6 @@ graphical features are reduced!
 </table>
 
 <p>
-For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>.
+For more pictures, see the Proof General <a href="gallery.html">gallery</a>.
 </p>
 
-- 
cgit v1.2.3