1 files changed, 0 insertions, 29 deletions
diff --git a/build-aux/workflow/README.sh b/build-aux/workflow/README.sh
deleted file mode 100755
index 1aa2593..0000000
--- a/build-aux/workflow/README.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/bin/sh
-set -eu
-
-mkdir -p public
-
-PROJECT_UC="$1"
-PROJECT="$2"
-
-RELEASES_LIST="$(mktemp)"
-for version in $(git tag); do
-  echo "- version [$version](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$version.tar.gz), released in $(git log -1 --format=%cd --date=short "$version")" >> "$RELEASES_LIST"
-done
-
-RELEASES="$(mktemp)"
-if [ -s "$RELEASES_LIST" ]; then
-  printf '# Releases\n\n' >> "$RELEASES"
-  cat "$RELEASES_LIST" >> "$RELEASES"
-fi
-
-cat README.md "$RELEASES" | \
-  pandoc --toc                                  \
-         --highlight-style pygments             \
-         --toc-depth=2                          \
-         -s                                     \
-         --metadata title="$PROJECT_UC - TODOs" \
-         --metadata lang=en                     \
-         -r markdown                            \
-         -w html                                \
-         > public/index.html