diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 2 | ||||
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/vrb.tlpsrc | 0 |
4 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 9174aca6daf..8166f5ab853 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -342,7 +342,7 @@ my @TLP_working = qw( varsfromjobname varwidth vaucanson-g vector velthuis venn venturisadf verbatimbox verbatimcopy verbdef verse version versions vertbars - vhistory visualfaq vmargin vntex volumes vpe vrb vruler vwcol vxu + vhistory visualfaq vmargin vntex volumes vpe vruler vwcol vxu wadalab wallpaper warning warpcol widetable williams wordlike wrapfig wsuipa xargs xcolor xcomment xdoc diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index a57e347821d..51fabbbc9ff 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -739,6 +739,7 @@ $Master = "$mydir/../.."; 'vita', "die 'skipping, nonfree license'", 'voss-de', "&MAKEvossde", 'vpp', "die 'skipping, not self-locating, three-char name for ruby script?'", + 'vrb', "die 'skipping, noinfo license, author does not recall'", 'vrsion', "die 'skipping, nonfree license'", 'wadalab', "&MAKEwadalab", 'wasy2', "&MAKEflatten", diff --git a/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc index a334076b435..d9c5fca1b51 100644 --- a/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc @@ -29,7 +29,6 @@ depend pdf-trans depend shade depend tabto-generic depend texapi -depend vrb depend xlop depend yax # diff --git a/Master/tlpkg/tlpsrc/vrb.tlpsrc b/Master/tlpkg/tlpsrc/vrb.tlpsrc deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Master/tlpkg/tlpsrc/vrb.tlpsrc +++ /dev/null |