diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 4fd98486751..076237c8f41 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -290,6 +290,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw 'newsletr', "&MAKEnewsletr", 'niceframe', "die 'skipping, nosell license'", 'nohyph', "die 'skipping, nohyph must be done by hand'", + 'notes', "&MAKEnotes", 'ocherokee', "&MAKEflatten", 'ocr-a', "die 'skipping, nosell license'", 'oesch', "die 'skipping, nosell license'", @@ -773,6 +774,7 @@ $standardfmt='latex'; 'lnotes', 'chinese', 'lshort-portuguese', 'portuguese', 'lshort-spanish', 'spanish', + 'marvosym', 'fonts', 'mathabx', 'fonts', 'mathdots', 'generic', 'metatex', 'plain', @@ -2210,6 +2212,14 @@ sub MAKEnewsletr { &SYSTEM ("$RM *.dvi"); } +sub MAKEnotes +{ + &setup; + &xchdir ($DOCDIR); + &SYSTEM ("make eps png pdf"); + &donormal; +} + sub MAKEpbdiagram { &setup; chdir("$DEST/doc/latex/$package"); |