diff options
author | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-12-04 01:01:48 +0000 |
---|---|---|
committer | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-12-04 01:01:48 +0000 |
commit | 31d6e4a753b40e8148a51efac3fdd7d8386e28ae (patch) | |
tree | 1c240d565b61ef9a08d698d94b52d2b567f35b5f /Util/.distfiles | |
parent | 897351a650b7f3b4f3fea731cfe08cc69dd7ae33 (diff) | |
download | zsh-31d6e4a753b40e8148a51efac3fdd7d8386e28ae.tar.gz zsh-31d6e4a753b40e8148a51efac3fdd7d8386e28ae.tar.xz zsh-31d6e4a753b40e8148a51efac3fdd7d8386e28ae.zip |
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.
Diffstat (limited to 'Util/.distfiles')
-rw-r--r-- | Util/.distfiles | 8 |
1 files changed, 7 insertions, 1 deletions
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 ' |