diff options
| author | Karl Berry <karl@freefriends.org> | 2009-03-05 23:22:07 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-03-05 23:22:07 +0000 |
| commit | ee245fb5cc4edbc3ee9b3a340651f3d2a654596d (patch) | |
| tree | 5e63a43fc5556fde6de18f590230988200553280 /Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc | |
| parent | 5086aca10a9a84258b51784513eb03365e10d2ea (diff) | |
akira says chktex can be removed, we never compiled it for anything but windows
git-svn-id: svn://tug.org/texlive/trunk@12319 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc index 98e49e1b9bd..26779d1cff3 100644 --- a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc @@ -14,10 +14,6 @@ binpattern f bin/win32/tomac.exe binpattern f bin/win32/tounix.exe binpattern f bin/win32/type1afm.exe binpattern f bin/win32/unzip.exe -# from bin-chktex.win32 -runpattern f texmf/chktex/* -docpattern f texmf/doc/chktex/* -binpattern f bin/win32/chktex.exe # from bin-gzip.win32 docpattern f texmf/doc/gzip/* binpattern f bin/win32/gunzip.exe |