diff options
| author | Frans Pop <elendil@planet.nl> | 2006-10-20 15:10:56 +0000 |
|---|---|---|
| committer | Frans Pop <elendil@planet.nl> | 2006-10-20 15:10:56 +0000 |
| commit | ef1486ece18eb130aca5941e8262265d293b76ed (patch) | |
| tree | 2f815a3f984a6a1b0603f09e653af1599908b003 /build | |
| parent | 051d916fd2b7a5aa929794aac74a6e33f1e988d7 (diff) | |
| download | installation-guide-ef1486ece18eb130aca5941e8262265d293b76ed.zip | |
buildweb.sh: use 'mv -f' to avoid errors during builds on the webserver
Diffstat (limited to 'build')
| -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 |