diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc index 26779d1cff3..98e49e1b9bd 100644 --- a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc @@ -14,6 +14,10 @@ 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 |