diff options
Diffstat (limited to 'Master/tlpkg/libexec')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 5bbd58175ab..5284b13f867 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -261,6 +261,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'comicsans', "die 'skipping, Comic Sans is nonfree'", 'comfortaa', "&MAKEcopy", 'comment_io', "die 'skipping, await request i guess'", + 'committee-font', "die 'skipping, noinfo license, old Knuthian font'", 'compact', "die 'skipping, nonfree license'", 'computer-typesetting-using-latex', "die 'skipping, nosource'", 'concmath-fonts', "&MAKEflatten", @@ -1171,6 +1172,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'uppunctlm', "&MAKEflatten", 'urcls', "&MAKEflatten", 'uspatent', "&MAKEflatten", + 'util-half', "die 'skipping, noinfo license, old Knuthian font'", 'utorontothesis', "die 'skipping, noinfo license, 1997'", 'utthesis', "die 'skipping, await request, 1995'", 'variablelm', "&MAKEflatten", |