summaryrefslogtreecommitdiff
path: root/Master/tlpkg/libexec/ctan2tds
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds1
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'",