diff options
author | Karl Berry <karl@freefriends.org> | 2012-11-10 00:50:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-11-10 00:50:20 +0000 |
commit | 8617ee441f4f0151a85352381b6b7b10ec91af43 (patch) | |
tree | 8866f595e71d4f60502f7d6ba619af1a310892e2 /Master/tlpkg | |
parent | dac8ad1dbd161de074cb5912677006e5455e8296 (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@28224 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-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 486e9e09ea8..007c99d153e 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -41,6 +41,7 @@ my $exclude_pdf = { # the value has no meaning here my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'adobe/courier/' => 1, + 'adobe/sourcecodepro/' => 1, # SourceCodePro-Regular.pfb, 10nov12 contacted 'arabi/arabeyes/' => 1, 'arabi/farsiweb/' => 1, 'arkandis/adfsymbols/' => 1, |