summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 5a49ff6c212..c0df02f8afb 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/fonts/' => 1, # these come from gs
+ 'tlpkg/texworks/share/fonts/' => 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.