diff options
author | EuAndreh <eu@euandre.org> | 2020-08-14 13:28:49 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-08-14 13:28:49 -0300 |
commit | 1ee0a7e623872eb1dc1c26b550bd96754d378a30 (patch) | |
tree | 36b2e63986856bc0b11d040160538953c522a057 | |
parent | Assert date matches TIL filename (diff) | |
download | euandre.org-1ee0a7e623872eb1dc1c26b550bd96754d378a30.tar.gz euandre.org-1ee0a7e623872eb1dc1c26b550bd96754d378a30.tar.xz |
default.nix: Remove existing HTML before publishing
-rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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; }; } |