summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
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
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')
-rw-r--r--Build/source/texk/web2c/ChangeLog2
-rw-r--r--Build/source/texk/web2c/Makefile.in5
2 files changed, 6 insertions, 1 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
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in
index 4008eff8e28..0ec24cdef95 100644
--- a/Build/source/texk/web2c/Makefile.in
+++ b/Build/source/texk/web2c/Makefile.in
@@ -121,7 +121,7 @@ tex = tex
mf = mf
@MFN@mfn = mf-nowin
#
-default all: programs manpages doc/web2c.info @FMU@ dumps
+default all: programs manpages doc/web2c.info @FMU@
check: dumps
bibtex: bibtex.o
@@ -722,6 +722,9 @@ all_fmts = tex.fmt $(fmts)
all_bases = mf.base $(bases)
all_mems = mpost.mem $(mems)
+# We used to build these by default, but nowadays the dumps are created
+# completely separately, e.g., at runtime by mktexfmt. So just leave it
+# as an optional extra target.
dumps: fmts bases mems
fmts: $(all_fmts)
bases: $(all_bases)