From 52a613540d56706a5466488e7e79e405beaa4d3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 16:10:08 +0000
Subject: Triv

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

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index f885861f..11996dea 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -9,7 +9,8 @@
 <a href="#prerel">Below</a> is the latest pre-release of Proof General,
 made available for those who wish to test the latest features or bug
 fixes.  For developers, this release is also available as a 
-<a href="#devel">complete CVS snapshot (further below)</a>.
+<a href="#devel">complete CVS snapshot</a> (further below), which
+includes files not needed for the running program.
 </p>
 <p>
 Pre-releases of Proof General may be buggy as we add new features and
-- 
cgit v1.2.3