diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:25:46 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:25:46 +0000 |
commit | 5fe3004032c3a0ebc518b9de52d3d252e699542b (patch) | |
tree | 5bb07e07b2b1135e4403fe72b891524b3c1891af /Build/source/doc | |
parent | 754e9c2248c33e0f7b6e859f7337789acf742a9d (diff) |
Build system: Better dependencies for 'make check' in utils/*/ and texk/*/
git-svn-id: svn://tug.org/texlive/trunk@37788 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc')
0 files changed, 0 insertions, 0 deletions