diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc index 74c11a6156f..ba2e72513dd 100644 --- a/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-wintools.win32.tlpsrc @@ -22,17 +22,11 @@ docpattern f texmf/doc/chktex/* binpattern f bin/win32/chktex.exe # from bin-gzip.win32 docpattern f texmf/doc/gzip/* -docpattern f texmf/doc/info/gzip.info -docpattern f texmf/doc/man/man1/gzip.1 binpattern f bin/win32/gunzip.exe binpattern f bin/win32/gzip.exe # from bin-tifftools.win32 binpattern f bin/win32/tiff2png.exe # from bin-xpdf.win32 -docpattern f texmf/doc/man/man1/pdfimages.1 -docpattern f texmf/doc/man/man1/pdfinfo.1 -docpattern f texmf/doc/man/man1/pdftops.1 -docpattern f texmf/doc/man/man1/pdftotext.1 binpattern f bin/win32/pdffonts.exe binpattern f bin/win32/pdfimages.exe binpattern f bin/win32/pdfinfo.exe |