diff options
author | Karl Berry <karl@freefriends.org> | 2011-08-21 23:57:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-08-21 23:57:09 +0000 |
commit | 9ee7cfba1625748e157c7cda3091549eb0701cbf (patch) | |
tree | 54d32aa0aa0b6b3b21ae16cbbd63f38242590549 /Master/tlpkg/libexec/ctan2tds | |
parent | cc6dec43bed861394613828f8ed1351b0952d702 (diff) |
mathspic (7jun11 and earlier)
git-svn-id: svn://tug.org/texlive/trunk@23640 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index ea804a057d3..094eea80f8f 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -518,6 +518,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'mathexam', "&MAKEflatten", 'mathmode', "&setup", 'mathpazo', "&MAKEmathpazo", + 'mathspic', "&MAKEflatten", 'mathstone', "die 'skipping, requires nonfree Stone fonts'", 'matlab', "die 'skipping, requires nonfree matlab'", 'mdwfonts', "die 'skipping, too many tfm duplicates'", @@ -1976,7 +1977,7 @@ $standardxmt='\.xmt'; 'latexmk' => '\.pl$', 'listings-ext' => '\.sh$', 'match_parens' => '^match_parens$', - 'mathspic' => '^mathspic\.pl$', + 'mathspic' => '^mathspic.*\.pl$', 'mf2pt1' => '\.pl$', 'mkgrkindex' => 'mkgrkindex$', 'mkjobtexmf' => '\.pl$', @@ -2634,7 +2635,7 @@ sub doscripts { # For each, give a warning if missing from the Makefile.am in the sources. # Also, if not already present, create the platform-specific bindir entries. # - my $scripts_Makefile = "$Build/$build_scriptsdir/Makefile.am"; + my $scripts_Makefile = "$Build/$build_scriptsdir/Makefile.in"; chomp (my @platforms = `cd $Master/bin && ls`); # for my $s (@scripts) { @@ -2644,6 +2645,7 @@ sub doscripts { } (my $linkname = $s) =~ s/\..*$//; + $linkname =~ s/^mathspic[0-9]+$/mathspic/; # version number in name :( for my $p (@platforms) { my $platdir = "$TOPDEST/bin/$p"; &xmkdir ($platdir); |