diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-05 00:34:33 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-05 00:34:33 +0000 |
commit | 97698001193a870ee9a5d7d64e5594fa6458d0bb (patch) | |
tree | 2c3b4be7d67b3150d9331f167e83ce44f7b2a30b /Build/source | |
parent | f57e0777e744d6301293e19c969c8155215087ea (diff) |
(runjob): only minimize mktextfm output, not
output from other runjob calls.
git-svn-id: svn://tug.org/texlive/trunk@9260 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
0 files changed, 0 insertions, 0 deletions