css.sh


1
2
3
4
5
6
7
8
9
10
11

#!/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/