diff options
| author | Karl Berry <karl@freefriends.org> | 2010-09-16 00:11:12 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2010-09-16 00:11:12 +0000 |
| commit | 741d4c964b5704c4846d2609f3d755aaad49d594 (patch) | |
| tree | b5f32f08ad602e83fecf6ce842e7494dacb3e8ad | |
| parent | 5ee54e35afa2acfbb42bed8066dfda51651d8a1c (diff) | |
consistency
git-svn-id: svn://tug.org/texlive/trunk@19751 c570f23f-e606-0410-a88d-b1316a301751
| -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 |