summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-03-29 23:55:51 +0000
committerKarl Berry <karl@freefriends.org>2011-03-29 23:55:51 +0000
commitfb41a012758190f93838d6be33ee0491a034e99f (patch)
treedc9b8ff3c3da26cf02fad013d8814d1f732455be
parent8d8298ba09d44b8e0cfdf34b73c884fb336a0681 (diff)
try to exclude texworks pfb's
git-svn-id: svn://tug.org/texlive/trunk@21884 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format3
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 7eba5aab20e..d99de60f98f 100755
--- a/Master/tlpkg/bin/check-files-by-format
+++ b/Master/tlpkg/bin/check-files-by-format
@@ -106,7 +106,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1',
'public/pl/' => 1,
'public/pxfonts/' => 1,
'public/rsfs/' => 1,
- 'public/starfont/' => 1, # reported to author 4oct10
+ 'public/starfont/' => 1, # reported to author 4oct10
'public/staves/' => 1,
'public/tabvar/' => 1,
'public/tex-gyre/' => 1,
@@ -115,6 +115,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1',
'public/wasy/' => 1,
'public/xypic/' => 1,
'public/yhmath/' => 1,
+ 'texworks/fonts/' => 1, # these come from gs
'uhc/umj/' => 1,
'urw/avantgar/' => 1,
'urw/bookman/' => 1,