diff options
Diffstat (limited to 'build/buildweb.sh')
| -rwxr-xr-x | build/buildweb.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/buildweb.sh b/build/buildweb.sh index 11b2cfe15..7f5ddcf36 100755 --- a/build/buildweb.sh +++ b/build/buildweb.sh @@ -56,10 +56,10 @@ for lang in $languages; do mkdir -p "$destination/$destsuffix" for format in $formats; do if [ "$format" = html ]; then - mv ./build.out/html/* "$destination/$destsuffix" + mv -f ./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/install.$format.$lang" || true + mv -f ./build.out/install.$lang.$format "$destination/$destsuffix/install.$format.$lang" || true fi done |