diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/wintools.win32.tlpsrc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc b/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc index dd30f26f461..98c0d234c58 100644 --- a/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc +++ b/Master/tlpkg/tlpsrc/wintools.win32.tlpsrc @@ -11,13 +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 -# removed by Akira -#binpattern f bin/win32/pdfdetach.exe +binpattern f bin/win32/pdfdetach.exe binpattern f bin/win32/pdffonts.exe binpattern f bin/win32/pdfimages.exe binpattern f bin/win32/pdfinfo.exe -# removed by Akira -#binpattern f bin/win32/pdftoppm.exe +binpattern f bin/win32/pdftohtml.exe +binpattern f bin/win32/pdftopng.exe +binpattern f bin/win32/pdftoppm.exe binpattern f bin/win32/pdftops.exe binpattern f bin/win32/pdftotext.exe binpattern f bin/win32/png22pnm.exe |