diff options
Diffstat (limited to 'Build/cdbuild')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 1b02264a1a8..6806c13db23 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -73,7 +73,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'antt', "&MAKEflatten", 'arabtex', "&MAKEarabtex", 'archaic', "&MAKEwilson", - 'arev', "&MAKEcopy", # straight copy + 'arev', "&MAKEcopy", 'ascii', "&MAKEflatten", 'augie', "&MAKEaugie", 'aurical', "&MAKEaurical", @@ -159,6 +159,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'lfb', "&MAKElfb", 'lh', "&MAKElh", 'lifia-th', "print \"Not installing lifia-th (??) \n\"", + 'linearA', "&MAKEflatten", "lineno", "&MAKEnosymlinks", 'listings', "&MAKElistings", 'literat', "&MAKEliterat", |