summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ChangeLog
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-03-02 00:11:46 +0000
committerKarl Berry <karl@freefriends.org>2008-03-02 00:11:46 +0000
commitd2ecce6824dc5115d4d2f6390deb4a7a70937aa5 (patch)
treec01daf99438454c77a415c099e5eb0a2b10520af /Build/source/texk/web2c/ChangeLog
parentec32bec8c104dd9cee02a0f467e1fd8fb4220f39 (diff)
do not try to make the dumps by default
git-svn-id: svn://tug.org/texlive/trunk@6798 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r--Build/source/texk/web2c/ChangeLog2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index dc1119621ad..86cada148fd 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -4,6 +4,8 @@
Alexis Ballier, 29 Feb 2008 19:27:23, via
https://bugs.gentoo.org/show_bug.cgi?id=201187.
+ (default all): remove dumps, it's just troublemaking these days?
+
2008-02-29 Peter Breitenlohner <peb@mppmu.mpg.de>
* configure.in: replace PACKAGE_... by WEB2C_PACKAGE_... in