diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-check-files-by-format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-check-files-by-format b/Master/tlpkg/bin/tl-check-files-by-format index e537b82ef31..b6bb85cea81 100755 --- a/Master/tlpkg/bin/tl-check-files-by-format +++ b/Master/tlpkg/bin/tl-check-files-by-format @@ -166,6 +166,7 @@ my $exclude_vf = { '*base*' => 'texmf-dist/fonts/vf', 'public/txfontsb/' => 1, 'vntex/comicsansvn/' => 1, 'public/zefonts/' => 1, + 'public/ae/' => 1, }; # value has no meaning here |