diff options
| author | Karl Berry <karl@freefriends.org> | 2008-03-02 00:11:46 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-03-02 00:11:46 +0000 |
| commit | d2ecce6824dc5115d4d2f6390deb4a7a70937aa5 (patch) | |
| tree | c01daf99438454c77a415c099e5eb0a2b10520af /Build | |
| parent | ec32bec8c104dd9cee02a0f467e1fd8fb4220f39 (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')
| -rw-r--r-- | Build/source/texk/web2c/ChangeLog | 2 | ||||
| -rw-r--r-- | Build/source/texk/web2c/Makefile.in | 5 |
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) |