diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 0c60d9a42d0..9ac4fb1e29c 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -156,8 +156,6 @@ my $exclude_tfm = { '*base*' => 'texmf-dist/fonts/tfm', 'public/gfsbodoni/' => 1, 'public/malayalam/' => 1, 'public/japanese-otf/' => 1, # japanese tfm's - 'public/japanese-otf-uptex/' => 1, # japanese tfm's - 'uptex/jis/' => 1, 'public/wnri/' => 1, 'public/wsuipa/' => 1, }; @@ -226,7 +224,7 @@ sub get_file_list { } # ptex font files are in their own formats; don't bother checking, # or adding individual entries to the exclude lists. - @files = grep ($_ !~ m!/ptex/!, @files); + @files = grep ($_ !~ m!/u?ptex/!, @files); return @files; } |