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