diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 25 |
1 files changed, 18 insertions, 7 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 6f1b91dfbcd..d4ecb1fb9e7 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -306,6 +306,8 @@ $standardfoundry='public'; %specialdest = ( 'Type1fonts', 'texmf-doc', + 'amsldoc-it', 'texmf-doc', + 'amsthdoc-it', 'texmf-doc', 'amsldoc-vn', 'texmf-doc', 'catalogue', 'texmf-doc', 'comprehensive', 'texmf-doc', @@ -397,6 +399,7 @@ $standardfmt='latex'; # %specialdocfmt = ( 'abbr', 'generic', + 'amsldoc-it', 'italian', 'amsldoc-vn', 'vietnamese', 'antomega', 'omega', 'archaic', 'fonts', @@ -1193,15 +1196,23 @@ sub runjob { } } -# -# remove all files corresponding to a pattern +# remove all files matching something in $killpatt. +# also remove .ps files for which we have a .pdf. # sub killfiles { - local($killpatt) = @_; - for (grep(/$killpatt/,@filenames)) { - print "\t Remove $_\n"; - unlink $_; - } + my ($killpatt) = @_; + for (grep (/$killpatt/, @filenames)) { + print "\t Remove $_\n"; + unlink $_; + } + + for (grep (/\.ps$/, @filenames)) { + (my $pdf = $_) =~ s/ps$/pdf/; + next unless grep ($pdf, @filenames); + print "\t Remove ps $_\n"; + unlink $_; + } + } # rebuild list of files |