diff options
| -rwxr-xr-x | build/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.sh b/build/build.sh index d1635c2e6..8a7c1e730 100755 --- a/build/build.sh +++ b/build/build.sh @@ -63,7 +63,7 @@ for lang in $languages; do mv ./build.out/html/* "$destination/$destsuffix" else # Do not fail because of missing PDF support for some languages - mv ./build.out/install.$lang.$format "$destination/$destsuffix" || true + mv ./build.out/install.$lang.$format "$destination/$destsuffix" 2>/dev/null || true fi done |