diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-binextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-graphicstools.tlpsrc | 6 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/pngtools.tlpsrc | 5 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/scheme-full.tlpsrc | 1 |
4 files changed, 1 insertions, 12 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc index 5e6cb441a2e..62abe210307 100644 --- a/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-binextra.tlpsrc @@ -15,6 +15,7 @@ depend dvi2tty depend dvicopy depend dvidvi depend dviljk +depend dvipng depend dvipos depend getnonfreefonts depend lacheck diff --git a/Master/tlpkg/tlpsrc/collection-graphicstools.tlpsrc b/Master/tlpkg/tlpsrc/collection-graphicstools.tlpsrc deleted file mode 100644 index e49d3a4ef47..00000000000 --- a/Master/tlpkg/tlpsrc/collection-graphicstools.tlpsrc +++ /dev/null @@ -1,6 +0,0 @@ -name collection-graphicstools -category Collection -shortdesc Graphics tools -longdesc dvipng, pngtools. -depend dvipng -depend pngtools diff --git a/Master/tlpkg/tlpsrc/pngtools.tlpsrc b/Master/tlpkg/tlpsrc/pngtools.tlpsrc deleted file mode 100644 index 86f236bcb35..00000000000 --- a/Master/tlpkg/tlpsrc/pngtools.tlpsrc +++ /dev/null @@ -1,5 +0,0 @@ -name pngtools -category TLCore -binpattern f bin/win32/bmp2png.exe -binpattern f bin/win32/png22pnm.exe -binpattern f bin/win32/png2bmp.exe diff --git a/Master/tlpkg/tlpsrc/scheme-full.tlpsrc b/Master/tlpkg/tlpsrc/scheme-full.tlpsrc index 093575323e4..dcfeca27e20 100644 --- a/Master/tlpkg/tlpsrc/scheme-full.tlpsrc +++ b/Master/tlpkg/tlpsrc/scheme-full.tlpsrc @@ -35,7 +35,6 @@ depend collection-formatsextra depend collection-games depend collection-genericextra depend collection-genericrecommended -depend collection-graphicstools depend collection-htmlxml depend collection-humanities depend collection-langafrican |