1 files changed, 2 insertions, 2 deletions
diff --git a/utils.nix b/utils.nix
index f877b09..f02db70 100644
--- a/utils.nix
+++ b/utils.nix
@@ -85,11 +85,11 @@ in rec {
       touch $out
     '';
   });
-  overwritingPublishScript = docsDerivation:
+  overwritingPublishScript = { docsDerivation, overwrite ? true }:
   pkgs.writeShellScriptBin "publish.sh" ''
     set -euo pipefail
     OUT_DOCS="${docsDerivation}"
-    ${pkgs.openssh}/bin/ssh -o StrictHostKeyChecking=no "$SERVER_URL" rm -rf "$DOCS_SERVER_PATH/*"
+    ${if overwrite then "# " else ""}${pkgs.openssh}/bin/ssh -o StrictHostKeyChecking=no "$SERVER_URL" rm -rf "$DOCS_SERVER_PATH/*"
     ${pkgs.rsync}/bin/rsync -avzP                                   \
                             --rsh="ssh -o StrictHostKeyChecking=no" \
                             "$OUT_DOCS/"                            \