From 2a8bf560ab5e6139e6850974eedac4bc6e9d0671 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 30 Sep 1999 14:04:42 +0000
Subject: Mentioned and linked ChangeLog file.

---
 html/download.phtml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 64759de4..05db3d73 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -147,9 +147,19 @@ version distribution above is that we include:
 <ul>
   <li> provisional instantiations of Proof General to new provers <br>
 	(mentioned in the 
-	<?php fileshow("ProofGeneral-2.2pre990929/CHANGES","CHANGES"); ?> file),
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+  <?php fileshow("ProofGeneral-2.2pre990928/CHANGES","CHANGES"); ?> file),
+   <!-- End Warning. -->
   </li>
-  <li> the low-level list of things to do, </li>
+  <li> the 
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-2.2pre990928/todo","low-level list of things to do"); ?>
+   <!-- End Warning. -->
+   and the detailed
+   <!-- WARNING!  Line below automatically edited by makefile. -->
+   <?php fileshow("ProofGeneral-2.2pre990928/ChangeLog","ChangeLog"); ?>,
+   <!-- End Warning. -->
+ </li>
   <li> developer's Makefile used to generate documentation files <br>
        and the release itself from our CVS repository,  </li>
   <li> some test files, </li>
-- 
cgit v1.2.3