diff options
Diffstat (limited to 'Master/tlpkg/libexec')
| -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 9d9fb78fc38..9ceea5f0e45 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -282,6 +282,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`); 'cmupint', "&MAKEflatten", 'cnbwp', "&MAKEflatten", 'cntdwn', "die 'skipping, author (dps) request'", + 'cochineal', "&MAKEflatten", 'coloremoji', "die 'skipping, duplicate/too many files, per page?'", 'comfortaa', "&MAKEcopy", 'comicsans', "die 'skipping, Comic Sans is nonfree'", |