1 files changed, 0 insertions, 17 deletions
diff --git a/aux/workflow/CHANGELOG.sh b/aux/workflow/CHANGELOG.sh
deleted file mode 100755
index 371a67b..0000000
--- a/aux/workflow/CHANGELOG.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-set -eu
-
-mkdir -p public
-
-PROJECT_UC="$1"
-CHANGELOG="${2:-CHANGELOG.md}"
-
-pandoc --toc                                   \
-       --highlight-style pygments              \
-       --toc-depth=2                           \
-        -s                                      \
-        --metadata title="$PROJECT_UC - README" \
-        --metadata lang=en                      \
-        -r markdown                             \
-        -w html                                 \
-        < "$CHANGELOG" > public/CHANGELOG.html