summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-05-21 23:37:08 +0000
committerKarl Berry <karl@freefriends.org>2012-05-21 23:37:08 +0000
commit19d8d880eaef411fad67ab65975b782072cb6465 (patch)
tree31d7d259b2fd9c5d3f33caf2eb7435fa5134cca6 /Master
parent3c6745c25b9e1f649fe7d04b8d5ebe64b5ef88aa (diff)
empty dirs, consistency
git-svn-id: svn://tug.org/texlive/trunk@26545 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format2
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.