diff options
Diffstat (limited to 'Build/tools/Tpm.pm')
-rw-r--r-- | Build/tools/Tpm.pm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/tools/Tpm.pm b/Build/tools/Tpm.pm index c9d3c88f680..8aad12d646c 100644 --- a/Build/tools/Tpm.pm +++ b/Build/tools/Tpm.pm @@ -1328,7 +1328,6 @@ sub buildPatternsPackage { map { my $e = $_; map { - warn " format $_\n"; push @run_patterns, $texmf . "/$e/$_/${name}/*" # keep fontinst/misc in fontinst: unless ($name eq "misc" && $_ eq "fontinst"); |