diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-12-29 14:05:59 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-12-29 14:05:59 +0000 |
commit | a7c9a7ff1a6d0925eafe21175304c494e266b319 (patch) | |
tree | 2d106049b3e3dbcd8e158a9f8c4bd0b72982e693 /Build/source/texk/web2c/doc | |
parent | f1cb3d4245e2e5d8857c8db3b455fb3a2ec593c5 (diff) |
utils/texdoctk: Minor build system fix
git-svn-id: svn://tug.org/texlive/trunk@28653 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/doc')
0 files changed, 0 insertions, 0 deletions