diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/wintools.win32.tlpsrc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc b/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc index 4bdb150100d..dd30f26f461 100644 --- a/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc +++ b/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc @@ -11,11 +11,13 @@ binpattern f bin/win32/djpeg.exe binpattern f bin/win32/gunzip.exe binpattern f bin/win32/gzip.exe binpattern f bin/win32/jbig2.exe -binpattern f bin/win32/pdfdetach.exe +# removed by Akira +#binpattern f bin/win32/pdfdetach.exe binpattern f bin/win32/pdffonts.exe binpattern f bin/win32/pdfimages.exe binpattern f bin/win32/pdfinfo.exe -binpattern f bin/win32/pdftoppm.exe +# removed by Akira +#binpattern f bin/win32/pdftoppm.exe binpattern f bin/win32/pdftops.exe binpattern f bin/win32/pdftotext.exe binpattern f bin/win32/png22pnm.exe |