diff options
author | Karl Berry <karl@freefriends.org> | 2012-05-21 23:37:08 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-05-21 23:37:08 +0000 |
commit | 19d8d880eaef411fad67ab65975b782072cb6465 (patch) | |
tree | 31d7d259b2fd9c5d3f33caf2eb7435fa5134cca6 /Master/tlpkg | |
parent | 3c6745c25b9e1f649fe7d04b8d5ebe64b5ef88aa (diff) |
empty dirs, consistency
git-svn-id: svn://tug.org/texlive/trunk@26545 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index c0df02f8afb..0b9382f3eeb 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -139,7 +139,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'wadalab/dmj/' => 1, 'wadalab/mcj/' => 1, 'wadalab/mrj/' => 1, - 'tlpkg/texworks/share/fonts/' => 1, # these come from gs + 'tlpkg/texworks/share/fonts/type1/gsfonts/' => 1, # these come from gs }; # mpg: are these files actually broken?? Should look for the actual errors and # check with a font expert which are dummy, then filter them out. |