diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 1ee2fa0cc5c..486e9e09ea8 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -151,12 +151,12 @@ my $exclude_tfm = { '*base*' => 'texmf-dist/fonts/tfm', 'jknappen/ec/' => 1, 'jknappen/fc/' => 1, 'public/arev/' => 1, - 'public/chess/' => 1, # original has extra bytes, not worth fixing + 'public/chess/' => 1, # original has extra bytes, not worth fixing 'public/cmcyr/' => 1, - 'public/dozenal/' => 1, + 'public/dozenal/' => 1, # wrote author 31oct12 'public/gfsbodoni/' => 1, 'public/malayalam/' => 1, - 'public/japanese-otf/' => 1, # japanese tfm's + 'public/japanese-otf/' => 1, # japanese tfm's 'public/japanese-otf-uptex/' => 1, # japanese tfm's 'public/wnri/' => 1, 'public/wsuipa/' => 1, |