diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 0e1ae0eb378..2f6df7556a6 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -122,7 +122,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'ctib', "&MAKEflatten", 'cweb', "warn \"skipping cweb, programs\n\"", 'cyrillic', "&MAKEcopy", # we use latex-tds/cyrillic.zip - 'dlfltxbcodetips', "warn \"skipping dlfltxbcodetips, no doc source\n\"", + 'datetime', "&MAKEflatten", 'devanagr', "&MAKEdevanagr", 'diagnose', "&MAKEflatten", 'dictsym', "&MAKEunzipandflatten", |