diff options
Diffstat (limited to 'Master/bin/alpha-linux')
| -rwxr-xr-x | Master/bin/alpha-linux/texconfig | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Master/bin/alpha-linux/texconfig b/Master/bin/alpha-linux/texconfig index 7c3ced61b53..fbb1506b6ed 100755 --- a/Master/bin/alpha-linux/texconfig +++ b/Master/bin/alpha-linux/texconfig @@ -24,7 +24,7 @@ test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' progname=texconfig # the version string -version=1168796427 # seconds since `00:00:00 1970-01-01 UTC' +version=1168907450 # seconds since `00:00:00 1970-01-01 UTC' # date '+%s' (with GNU date) envVars=" @@ -1144,9 +1144,13 @@ $formatsForHyphenFmt" init) case $2 in "") - fmtutil --all || rc=1 - texlinks --multiplatform || rc=1 - updmap || rc=1 + if fmtutil --all \ + && texlinks --multiplatform \ + && updmap --quiet; then + : + else + rc=1 + fi ;; *) shift 1 |