From 31d6e4a753b40e8148a51efac3fdd7d8386e28ae Mon Sep 17 00:00:00 2001
From: Paul Ackersviller <packersv@users.sourceforge.net>
Date: Tue, 4 Dec 2007 01:01:48 +0000
Subject: 24143: pws removed difflog.pl from the distribution owing to security
 worries in usage (but leave it in the archive); also documented the distfiles
 business.

---
 Util/.distfiles | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'Util/.distfiles')

diff --git a/Util/.distfiles b/Util/.distfiles
index ac10d605f..162ace386 100644
--- a/Util/.distfiles
+++ b/Util/.distfiles
@@ -1,5 +1,11 @@
 DISTFILES_SRC='
     .distfiles
-    helpfiles mkdisttree.sh reporter
+    check_exports
+    helpfiles
+    mkdisttree.sh
     preconfig
+    reporter
+'
+DISTFILES_NOT='
+    difflog.pl
 '
-- 
cgit 1.4.1