diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 2dfd9a9b122..61e9e3472ea 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -102,6 +102,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'cm-lgc', '&MAKEcmlgc', 'cmbright', "&MAKEflatten", 'cmcyr', "&MAKEflatten", + 'cmll', "&MAKEflatten", 'concmath', "&MAKEconcmath", 'context', "&MAKEcontext", 'coptic', "print \"Not installing coptic as it has been replaced by cbcoptic\n\"", |