1 files changed, 0 insertions, 7 deletions
diff --git a/dhall/dhall-gen.sh b/dhall/dhall-gen.sh
deleted file mode 100755
index 9bba429..0000000
--- a/dhall/dhall-gen.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-
-REPOS_PATH="$HOME/dev/libre"
-
-for repo in $(cat repos.txt); do
-  dhall 2> /dev/null <<< "./sr-ht-build.dhall \"$repo\"" | dhall-to-json --pretty > "$REPOS_PATH/$repo/.build.yml"
-done