diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
-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 |