summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/cdbuild/ctan2tds.pl25
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