diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build b/build new file mode 100755 index 0000000..fef10f2 --- /dev/null +++ b/build @@ -0,0 +1,10 @@ +#!/usr/bin/env nix-shell +#!nix-shell -i sh -p curl fead python3Packages.formbox htmlq julia-bin nodejs +set -ex +curl -Ss https://git.sr.ht/~amolith/fediring.net/blob/main/webring.txt | + awk 'NR % 2 { print $2 }' > _libs/fediring +fead -F _libs/fead/sources -n 4 -l 192\ + < _libs/fead/in.html > _libs/fead/out.html +NODE=node julia --project=@. build.jl +_libs/onlymathml +_libs/postprocess |