diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 5c2c93cef57..ea333278143 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -65,7 +65,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/cjhebrew/' => 1, 'public/cmcyr/' => 1, 'public/cm-super/' => 1, - 'public/cm-unicode/Fontmap.CMU.pfb' => 1, + 'texmf-dist/doc/fonts/cm-unicode/Fontmap.CMU.pfb' => 1, 'public/cm-unicode/cmunobi.pfb' => 1, 'public/cs/' => 1, 'public/doublestroke/' => 1, @@ -171,7 +171,7 @@ my $exclude_vf = { '*base*' => 'texmf-dist/fonts/vf', # value has no meaning here my $exclude_otf = { '*base*' => 'texmf-dist/fonts/opentype', - 'public/cm-unicode/Fontmap.CMU.otf' => 1, + 'texmf-dist/doc/fonts/cm-unicode/Fontmap.CMU.otf' => 1, }; |