From 1ee0a7e623872eb1dc1c26b550bd96754d378a30 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 14 Aug 2020 13:28:49 -0300 Subject: default.nix: Remove existing HTML before publishing --- default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.nix b/default.nix index 5dd981e..d5301fd 100644 --- a/default.nix +++ b/default.nix @@ -65,6 +65,6 @@ in rec { }; publishScript = utils.overwritingPublishScript { docsDerivation = subtasks.docs; - overwrite = false; + overwrite = true; }; } -- cgit v1.2.3