diff options
| author | Karl Berry <karl@freefriends.org> | 2006-05-23 20:38:13 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-05-23 20:38:13 +0000 |
| commit | 48c9a8207e08e743610a9b7eefb304de26b1cf57 (patch) | |
| tree | faa3c3ee7cc42f46a3543acfbdf5469e9c80b733 /Build | |
| parent | 71003ae7da4c28816697cf03bad2ab2148ab2c21 (diff) | |
t5.enc in vntex
git-svn-id: svn://tug.org/texlive/trunk@1583 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/tools/update-auto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/update-auto b/Build/tools/update-auto index cbcd381a74d..849bd8e333a 100755 --- a/Build/tools/update-auto +++ b/Build/tools/update-auto @@ -150,7 +150,7 @@ done fontnameencslave=texmf-dist/fonts/enc/dvips/base # -files=`cd $fontnamemaster && ls *.enc` +files=`cd $fontnamemaster && ls *.enc | grep -vw t5.enc` for basef in $files; do fontnameencslavef=$fontnameencslave/$basef if diff $fontnameencslavef $fontnamemaster/$basef; then |