4 files changed, 0 insertions, 134 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
diff --git a/build-aux/workflow/assert-todos.sh b/build-aux/workflow/assert-todos.sh
deleted file mode 100755
index 1d568cb..0000000
--- a/build-aux/workflow/assert-todos.sh
+++ /dev/null
@@ -1,57 +0,0 @@
-#!/bin/sh
-set -eu
-
-if git grep FIXME | grep -v '^TODOs.md' | grep -v '^build-aux/workflow/assert-todos.sh' | grep -v '^build-aux/docbook-xsl/'; then
-  echo "Found dangling FIXME markers on the project."
-  echo "You should write them down properly on TODOs.md."
-  exit 1
-fi
-
-awk -F'{#' '
-BEGIN {
-  exitstatus = 0
-  h2flag = 0
-  h2status = ""
-  prevline = ""
-  idx = 0
-  delete ids[0]
-}
-h2flag == 1 {
-  split($0, l, " ")
-  timelinestatus = l[2]
-  if (h2status != timelinestatus) {
-    print "h2/timeline status mismatch for line " NR-1
-    print prevline
-    print $0
-    exitstatus = 1
-  }
-  h2status = ""
-  h2flag = 0
-}
-
-/^## (TODO|DOING|WAITING|MEETING|INACTIVE|NEXT|CANCELLED|DONE)/ {
-  if (match($0, / \{#.*?\}$/) == 0) {
-    print "Missing ID for line " NR ":\n" $0
-    exitstatus = 1
-  }
-  id_with_prefix = substr($2, 0, length($2) - 1)
-  match(id_with_prefix, /^\w+-/)
-  id = substr(id_with_prefix, RLENGTH + 1)
-  if (id in arr) {
-    print "Duplicate ID: " id
-    exitstatus = 1
-  } else {
-    arr[id] = 1
-  }
-
-  split($0, l, " ")
-  h2status = l[2]
-  h2flag = 1
-  prevline = $0
-}
-
-
-/^# Scratch$/ {
-  exit exitstatus
-}
-' TODOs.md
diff --git a/build-aux/workflow/preamble.md b/build-aux/workflow/preamble.md
deleted file mode 100644
index c6ae56e..0000000
--- a/build-aux/workflow/preamble.md
+++ /dev/null
@@ -1,16 +0,0 @@
-# About
-
-TODOs for $PROJECT_UC.
-
-See also [$PROJECT.euandreh.xyz](https://$PROJECT.euandreh.xyz/).
-
-Register a new one at
-[~euandreh/$MAILING_LIST@lists.sr.ht](mailto:~euandreh/$MAILING_LIST@lists.sr.ht?subject=%5B$PROJECT%5D%20BUG%20or%20TASK%3A%20%3Cdescription%3E)
-and see [existing discussions](https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D).
-
-*Você também pode escrever em português*.
-
-*Vous pouvez aussi écrire en français*.
-
-*Vi povas ankaŭ skribi esperante*.
-
diff --git a/build-aux/workflow/style.css b/build-aux/workflow/style.css
deleted file mode 100644
index ac0144c..0000000
--- a/build-aux/workflow/style.css
+++ /dev/null
@@ -1,38 +0,0 @@
-<style>
-  hr {
-    background-color: #ccc;
-  }
-
-  span.header-anchor {
-    opacity: 0.5;
-  }
-
-  /*
-    Replicate colors from:
-    https://git.euandreh.xyz/dotfiles/tree/spacemacs.el?id=fcd9f9c4ef399d45d54927382dc1cdde251ebb0a#n866
-  */
-
-  .TODO {
-    color: brown;
-  }
-
-  .DOING {
-    color: yellowgreen;
-  }
-
-  .WAITING, .MEETING {
-    color: gray;
-  }
-
-  .INACTIVE {
-    color: orange;
-  }
-
-  .NEXT {
-    color: red;
-  }
-
-  .CANCELLED, .DONE {
-    color: green;
-  }
-</style>