diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index a98d58c2964..434a62a039d 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -192,7 +192,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'grtimes', "die 'skipping, requires nonfree monotype times'", 'hfbright', "&MAKEflatten", 'hfoldsty', "&MAKEflatten", - 'hyperref', "&MAKEhyperref", + 'hyperref', "&MAKEunzip", 'hyphen-german',"die 'please install hyphen-german by hand, sorry'", 'ibycus-babel',"&MAKEibycusbabel", 'ibygrk', "&MAKEflatten", @@ -2205,18 +2205,6 @@ sub MAKEgermbib { &MAKEflatten (); } -sub MAKEhyperref { - &xchdir ($packagedir); - # - print "\t SPECIAL $package unzip tds and copy\n"; - &SYSTEM ("rm -rf doc test"); # we will use prepared zip - &SYSTEM ("unzip -q $package.tds.zip"); - &SYSTEM ("$RM * 2>/dev/null"); # remove top-level files - # - &xchdir (".."); - &MAKEcopy (); -} - sub MAKEoberdiek { &xchdir ($packagedir); # |