diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 06e34d5f4e6..93302a460a7 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -783,6 +783,7 @@ $Master = "$mydir/../.."; 'vector', "die 'skipping, noinfo license, 1994'", 'velthuis', "&MAKEcopy", 'venturisadf', "&MAKEcopy", + 'verdana', "die 'skipping, support for nonfree font'", 'vertex', "die 'skipping, noinfo license, aer.sty clash, ancient'", 'vhistory', "&MAKEflatten", 'vicentino', "die 'skipping, nonfree license'", |