www.ducc.it: more robust build

Signed-off-by: Mattia Rizzolo <mapreri@ubuntu.com>

scripts/www.ducc.it

@@ -13,12 +13,18 @@ repo="$(git_clone_repo "${NAME}" "${REPO_URL}")"
 if git_needs_update "${NAME}"; then
 
     # Build the repository
-    cp -r "${repo}" repo
-    make -C repo
+    tempdir=$(mktemp -d -t ducc.it.XXXXXXX)
+    trap 'rm -rf "$tempdir"' EXIT
+    cp -r "${repo}" "$tempdir"
+    pushd "$tempdir"/repo
+
+    make
+
 
     # Create a new deploy
     deploy="$(deploy_new "${NAME}")"
-    cp -r repo/build/html/* "${deploy}"
+    cp -r build/html/* "${deploy}"
+    popd
 
     git_save_revision "${NAME}" "${deploy}"
     deploy_switch "${NAME}" "${deploy}"