diff options
author | Karl Berry <karl@freefriends.org> | 2012-12-21 17:23:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-12-21 17:23:20 +0000 |
commit | 7ff68f1c15e668668219c93f95524a45e383b163 (patch) | |
tree | 2f8778d34cd4fa8455c9b43a2d41e7eedced9e13 /Master/tlpkg/bin | |
parent | c37d7b45d460df0672f31c7029126b51763c414d (diff) |
manual update from csplain
git-svn-id: svn://tug.org/texlive/trunk@28600 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 9bab2560fff..fa23a6ec844 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -112,7 +112,8 @@ done fontnameencslave=texmf-dist/fonts/enc/dvips/base # -files=`cd $fontnamemaster && ls *.enc | egrep -vw '(groff|t5|texnansi).enc'` +files=`cd $fontnamemaster && ls *.enc\ + | egrep -vw '(groff|t5|texnansi|xt|xl2).enc'` for basef in $files; do fontnameencslavef=$fontnameencslave/$basef if $diff $fontnameencslavef $fontnamemaster/$basef >$temp.$basef.diff; then |