diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 1 |
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 0b9382f3eeb..1ee2fa0cc5c 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -90,6 +90,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/gfsdidot/' => 1, 'public/gfsneohellenic/' => 1, 'public/gfssolomos/' => 1, + 'public/hacm/' => 1, 'public/initials/' => 1, 'public/itrans/' => 1, 'public/kerkis/' => 1, |