diff options
| -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 709f76d2d92..69bc7f27da3 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -179,6 +179,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'glhyph', "die 'hyphenation madness needs work, sorry'", 'graphics', "&MAKEcopy", # we use latex-tds/graphics.zip 'graphicxsp', "die 'skipping, requires adobe distiller'", + 'grtimes', "die 'skipping, requires nonfree monotype times'", 'hfbright', "&MAKEflatten", 'hfoldsty', "&MAKEflatten", 'hyperref', "&MAKEhyperref", |