diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index 2b3b6aaa44f..877894d194d 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -317,6 +317,7 @@ sub prepare chomp (my @dirlist = `find */*/* -type d | sort -u`); for my $dir (@dirlist) { next if $dir =~ m!$pkg$!; # keep matching directories + next if $pkg eq "amscls" && $dir =~ m,bst/ams$,; # ams{alpha,plain}.bst push (@deldir, $dir); } system ("rm -rf @deldir"); # discard the rest |