diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 0e78266e90b..c34e64e033c 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -116,6 +116,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'disser', "&MAKEdisser", 'dmfonts', "die 'skipping, needs work'", 'doipubmed', "&MAKEflatten", + 'dot2tex', "die 'skipping, only useful with supporting programs'", 'dot2texi', "die 'skipping, only useful with supporting programs'", 'dps', "die 'skipping, requires acrotex'", 'dtk', "&MAKEflatten", |