diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 4fe42d8c1e9..2a37f03e275 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -115,6 +115,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'disser', "&MAKEdisser", 'dmfonts', "die 'skipping, needs work'", 'doipubmed', "&MAKEflatten", + 'dot2texi', "die 'skipping, only useful with supporting programs'", 'dps', "die 'skipping, requires acrotex'", 'dtk', "&MAKEflatten", 'dtxtut', "&setup", # straight copy @@ -642,10 +643,11 @@ $standardfmt='latex'; 'kixfont', 'fonts', 'kpfonts', 'fonts', 'l2picfaq', 'german', + 'l2tabu-spanish', 'spanish', 'latexmp', 'metapost', 'leawood', 'fonts', 'lfb', 'fonts', - 'lshort-portuguese', 'portuguese', + 'lshort-portuguese', 'portuguese', 'mathdots', 'generic', 'metatex', 'plain', 'metauml', 'metapost', |