diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/tools.tlpsrc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 9af9010be7b..704945c53fb 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -42,6 +42,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'adobe/courier/' => 1, 'arabi/arabeyes/' => 1, 'arabi/farsiweb/' => 1, + 'arkandis/adfsymbols/' => 1, 'arkandis/libris/' => 1, 'arkandis/venturis/' => 1, 'arphic/bkaiu/' => 1, diff --git a/Master/tlpkg/tlpsrc/tools.tlpsrc b/Master/tlpkg/tlpsrc/tools.tlpsrc index ade555e6cae..ea25d3ad488 100644 --- a/Master/tlpkg/tlpsrc/tools.tlpsrc +++ b/Master/tlpkg/tlpsrc/tools.tlpsrc @@ -1 +1,2 @@ srcpattern +!d texmf-dist/source/latex/tcldoc/tools +srcpattern +!d texmf-dist/doc/fonts/punknova/tools |