aboutsummaryrefslogtreecommitdiff
path: root/css.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xcss.sh11
1 files changed, 0 insertions, 11 deletions
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/