summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format
index d076ea80250..951799590bc 100755
--- a/Master/tlpkg/bin/check-files-by-format
+++ b/Master/tlpkg/bin/check-files-by-format
@@ -95,6 +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/marvosym/' => 1,
'public/mathpazo/' => 1,
'public/musixtex/' => 1,