1 files changed, 0 insertions, 23 deletions
diff --git a/build-aux/workflow/TODOs.sh b/build-aux/workflow/TODOs.sh
deleted file mode 100755
index 3f9fa4b..0000000
--- a/build-aux/workflow/TODOs.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-set -eu
-
-mkdir -p public
-
-export PROJECT_UC="$1"
-export PROJECT="$2"
-export MAILING_LIST="$3"
-
-REGEX='s/^## (TODO|DOING|WAITING|MEETING|INACTIVE|NEXT|CANCELLED|DONE) (.*) \{#(.*?)\}$/## <a href="#\3"><span class="\1">\1<\/span> \2<\/a>\n<span class="header-anchor" id="\3">#\3<\/span>\n/'
-
-envsubst < build-aux/workflow/preamble.md                      | \
-  printf '%s\n\n%s' "$(cat -)" "$(perl -pe "$REGEX" TODOs.md)" | \
-  pandoc --toc                                  \
-         --highlight-style pygments             \
-         --toc-depth=2                          \
-         -s                                     \
-         --metadata title="$PROJECT_UC - TODOs" \
-         --metadata lang=en                     \
-         -r markdown                            \
-         -w html                                \
-         -H build-aux/workflow/style.css        \
-         > public/TODOs.html