diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-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 fbe444afca5..fcf353dd705 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -66,6 +66,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'aastex', "&MAKEflatten", 'active-conf', "&MAKEflatten", 'ae', "&MAKEae", + 'algorithmicx',"&MAKEnosymlinks", 'allrunes', "&MAKEflatten", 'alphabib', "print shell script, and no doc source?", 'ams', "&MAKEamslatex", |