diff options
author | Karl Berry <karl@freefriends.org> | 2014-07-26 23:14:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-07-26 23:14:02 +0000 |
commit | 66f510a2752775f10ff9b73c76c4411a66991742 (patch) | |
tree | 114b8129bf597d73e2edc995ac7ac3fe36fef09d /Master/tlpkg/bin | |
parent | 0323535daa1e21c9a417b171362b62e0c3e09adc (diff) |
separate full file name for texlinks from invocation; sync other stuff
git-svn-id: svn://tug.org/texlive/trunk@34738 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 20f78344126..c4b4f34f382 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -93,7 +93,8 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/cs/' => 1, 'public/doublestroke/' => 1, 'public/epiolmec/' => 1, - 'public/esstix/' => 1, # 12may11 author fixed some, others will remain + 'public/ebgaramond/' => 1, # 9jul14 bug in fontforge/t1lint, not reported + 'public/esstix/' => 1, # 12may11 author fixed some, others will remain 'public/ethiop-t1/' => 1, 'public/eurosym/' => 1, 'public/fbb/' => 1, # 23aug13 bluevalues, not fixable |