diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 951799590bc..7eba5aab20e 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -95,7 +95,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/linearA/' => 1, 'public/lm/' => 1, 'public/lxfonts/' => 1, - 'public/mathabx/' => 1, # 14jan11 wrote bnb/preining --karl + 'public/mathabx-type1/' => 1, # 14jan11 wrote bnb/preining --karl 'public/marvosym/' => 1, 'public/mathpazo/' => 1, 'public/musixtex/' => 1, |