From d935cd37ee3566091b706702474265b3a5136f2d Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 5 Feb 2020 00:23:23 -0300
Subject: Delete old files

---
 css.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 css.sh

(limited to 'css.sh')

diff --git a/css.sh b/css.sh
deleted file mode 100755
index 420878b..0000000
--- a/css.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-set -Eeuo pipefail
-cd "$(dirname "${BASH_SOURCE[@]}")"
-
-nix-build -A subtasks.docs
-rm -rf tmp/
-mkdir tmp/
-
-cp -R result/* tmp/
-chmod -R +w tmp/
-cp site/css/styles.css tmp/css/
-- 
cgit v1.2.3