From 50a5fede59f13d6983adc3f431fac438717713f9 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 1 Jun 2019 17:59:06 -0300
Subject: Delete existing documentation content in docs derivation

---
 default.nix | 2 +-
 utils.nix   | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index da5e3f9..b6741eb 100644
--- a/default.nix
+++ b/default.nix
@@ -34,5 +34,5 @@ in rec {
     (utils.fixme [ "default.nix" "utils.nix" ])
     subtasks.uniqueFeeds
   ];
-  publishScript = utils.publishScript subtasks.docs;
+  publishScript = utils.overwritingPublishScript subtasks.docs;
 }
diff --git a/utils.nix b/utils.nix
index fd25021..a13e0f4 100644
--- a/utils.nix
+++ b/utils.nix
@@ -90,10 +90,11 @@ in rec {
       touch $out
     '';
   });
-  publishScript = docsDerivation:
+  overwritingPublishScript = docsDerivation:
   pkgs.writeShellScriptBin "publish.sh" ''
     set -euo pipefail
     OUT_DOCS="${docsDerivation}"
+    ${pkgs.openssh}/bin/ssh "$SERVER_URL" rm -rf "$DOCS_SERVER_PATH/*"
     ${pkgs.rsync}/bin/rsync -avzP                                   \
                             --rsh="ssh -o StrictHostKeyChecking=no" \
                             "$OUT_DOCS/"                            \
-- 
cgit v1.2.3