From 5633871eae6d75da096d9e6c639ffe6afeb0bfb3 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 29 Dec 2019 21:48:45 -0300
Subject: utils: Make publish.sh less strict

---
 utils.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/utils.nix b/utils.nix
index 5bcbb10..4b60ba6 100644
--- a/utils.nix
+++ b/utils.nix
@@ -92,7 +92,6 @@
     };
   overwritingPublishScript = { docsDerivation, overwrite ? true }:
     pkgs.writeShellScriptBin "publish.sh" ''
-      set -euo pipefail
       OUT_DOCS="${docsDerivation}"
       ${
         if overwrite then "" else "# "
-- 
cgit v1.2.3