rm -rf aux/

13 files changed, 0 insertions, 686 deletions

diff --git a/aux/workflow/TODOs.sh b/aux/workflow/TODOs.sh
deleted file mode 100755
index 8bba1ec..0000000
--- a/aux/workflow/TODOs.sh
+++ /dev/null
@@ -1,59 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-PROJECT_UC=
-while getopts 'n:N:m:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-
-td -H |
-	cat aux/workflow/preamble.md - |
-	sed \
-		-e "s:@PROJECT_UC@:$PROJECT_UC:g"     \
-		-e "s:@PROJECT@:$PROJECT:g"           \
-		-e "s:@MAILING_LIST@:$MAILING_LIST:g" \
-		-e "s:@TLD@:$TLD:g"                   |
-	pandoc \
-		--toc                                  \
-		--highlight-style pygments             \
-		--toc-depth=2                          \
-		-s                                     \
-		--metadata title="$PROJECT_UC - TODOs" \
-		--metadata lang=en                     \
-		-r commonmark                          \
-		-w html                                \
-		-H aux/workflow/favicon.html           \
-		-H aux/workflow/style.css              |
-	sed \
-		-e 's:<a><a:<a:g'      \
-		-e 's:</a></a>:</a>:g'
diff --git a/aux/workflow/assert-changelog.sh b/aux/workflow/assert-changelog.sh
deleted file mode 100755
index 07ced10..0000000
--- a/aux/workflow/assert-changelog.sh
+++ /dev/null
@@ -1,66 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-PROJECT_UC=
-while getopts 'n:N:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-HOMEPAGE_LINK="Changelog for [$PROJECT_UC](https://$TLD/$PROJECT/en/)."
-
-if ! grep -qF "$HOMEPAGE_LINK" CHANGELOG.md; then
-	echo "Missing link to homepage in CHANGELOG.md:" >&2
-	echo "$HOMEPAGE_LINK"
-	exit 1
-fi
-
-assert() {
-	DATE="$1"
-	VVERSION="$2"
-	VERSION="${2#v}"
-	CHANGELOG_ENTRY="$(printf \
-		'# [%s](https://euandre.org/git/%s/commit/?id=%s) - %s' \
-		"$VERSION" "$PROJECT" "$VVERSION" "$DATE")"
-	if ! grep -qF "$CHANGELOG_ENTRY" CHANGELOG.md; then
-		echo "Missing '$CHANGELOG_ENTRY' entry from CHANGELOG.md" >&2
-		exit 1
-	fi
-}
-
-if [ -e .git ]; then
-	for VVERSION in $(git tag); do
-		DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
-		assert "$DATE" "$VVERSION"
-	done
-fi
-
-# "$@" represents a list of tags to be also included in the verification.
-for VVERSION in "$@"; do
-	DATE="$(date '+%Y-%m-%d')"
-	assert "$DATE" "$VVERSION"
-done
diff --git a/aux/workflow/assert-readme.sh b/aux/workflow/assert-readme.sh
deleted file mode 100755
index f862153..0000000
--- a/aux/workflow/assert-readme.sh
+++ /dev/null
@@ -1,108 +0,0 @@
-#!/bin/sh
-set -eu
-
-if [ ! -e .git ]; then
-	exit
-fi
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-while getopts 'n:m:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-
-EXPECTED="$(mkstemp)"
-cat <<EOF >> "$EXPECTED"
-
-For running the extra development-only checks, run:
-
-\`\`\`shell
-$ make dev-check
-\`\`\`
-
-and for generating the documentation HTML and website, run:
-
-\`\`\`shell
-$ make public
-\`\`\`
-
-Send contributions to the [mailing list] via
-[\`git send-email\`](https://git-send-email.io/).
-
-
-## Links
-
-- [homepage](https://$TLD/$PROJECT/en/)
-- [source code](https://euandre.org/git/$PROJECT/)
-- [bug tracking](https://$TLD/$PROJECT/TODOs.html)
-- [mailing list]
-- [CI logs](https://$TLD/$PROJECT/ci.html)
-- [CHANGELOG](https://$TLD/$PROJECT/en/CHANGELOG.html)
-
-[mailing list]: https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-EOF
-
-RELEASES_LIST="$(mkstemp)"
-add_release() {
-	DATE="$1"
-	VVERSION="$2"
-	echo "- [$VVERSION](https://euandre.org/git/$PROJECT/commit/?id=$VVERSION) [$PROJECT-$VVERSION.tar.gz](https://euandre.org/git/$PROJECT/snapshot/$PROJECT-$VVERSION.tar.gz) ([sig](https://euandre.org/git/$PROJECT/snapshot/$PROJECT-$VVERSION.tar.gz.asc)) - $DATE" >> "$RELEASES_LIST"
-}
-
-for VVERSION in $(git tag); do
-	DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
-	add_release "$DATE" "$VVERSION"
-done
-
-# "$@" represents a list of tags to be also included in the verification.
-for VVERSION in "$@"; do
-	if ! git tag | grep -qF "$VVERSION"; then
-		DATE="$(date '+%Y-%m-%d')"
-		add_release "$DATE" "$VVERSION"
-	fi
-done
-
-if [ -s "$RELEASES_LIST" ]; then
-	printf '\n\n## Releases\n\n' >> "$EXPECTED"
-	sort -r "$RELEASES_LIST" >> "$EXPECTED"
-fi
-
-cat <<EOF >> "$EXPECTED"
-
-
-## License
-
-The code is licensed under
-[GNU Affero General Public License v3.0 or later][AGPL-3.0-or-later]
-(AGPL-3.0-or-later).
-
-[AGPL-3.0-or-later]: https://euandre.org/git/$PROJECT/tree/COPYING
-EOF
-
-if ! tail -n "$(wc -l < "$EXPECTED")" README.md | diff - "$EXPECTED"; then
-	echo 'Wrong metadata at the end of README.md file'
-	echo "See expected content at: $EXPECTED"
-	exit 1
-fi
diff --git a/aux/workflow/assert-todos.sh b/aux/workflow/assert-todos.sh
deleted file mode 100755
index f4fd965..0000000
--- a/aux/workflow/assert-todos.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-set -eu
-
-# shellcheck disable=2086
-if [ -e .git ] &&
-	git grep FIXME ${1:-} |
-	grep -v '^TODOs.md:' |
-	grep -v '^aux/workflow/assert-todos.sh:'
-then
-	echo "Found dangling FIXME markers on the project." >&2
-	echo "You should write them down properly on TODOs.md." >&2
-	exit 1
-fi
-
-td -L
diff --git a/aux/workflow/commonmark.sh b/aux/workflow/commonmark.sh
deleted file mode 100755
index 088d447..0000000
--- a/aux/workflow/commonmark.sh
+++ /dev/null
@@ -1,48 +0,0 @@
-#!/bin/sh
-set -eu
-
-while getopts 'N:t:l:H:' flag; do
-	case "$flag" in
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		t)
-			TITLE="$OPTARG"
-			;;
-		l)
-			THE_LANG="$OPTARG"
-			;;
-		H)
-			ALTERNATES="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT_UC:-}" '-N PROJECT_UC'
-assert_arg "${TITLE:-}"      '-t TITLE'
-assert_arg "${THE_LANG:-}"   '-l THE_LANG'
-assert_arg "${ALTERNATES:-}" '-H ALTERNATES'
-
-pandoc \
-	--toc                                   \
-	--highlight-style pygments              \
-	--toc-depth=2                           \
-	-s                                      \
-	--metadata title="$PROJECT_UC - $TITLE" \
-	--metadata "lang=$THE_LANG"             \
-	-r commonmark                           \
-	-w html                                 \
-	-H aux/workflow/favicon.html            \
-	-H aux/workflow/style.css               \
-	-H "$ALTERNATES"
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
deleted file mode 100755
index 68f8849..0000000
--- a/aux/workflow/dist.sh
+++ /dev/null
@@ -1,112 +0,0 @@
-#!/bin/sh
-set -eu
-
-PROJECT_UC=
-while getopts 'd:V:n:N:m:' flag; do
-	case "$flag" in
-		d)
-			DATE="$OPTARG"
-			;;
-		V)
-			VVERSION="v$OPTARG"
-			;;
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${DATE:-}"         '-d DATE'
-assert_arg "${VVERSION:-}"     '-V VERSION'
-assert_arg "${PROJECT:-}"      '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-
-if [ "$(git rev-parse --abbrev-ref HEAD)" != 'main' ]; then
-	echo 'Not on branch "main".' >&2
-	exit 1
-fi
-
-if git show "$VVERSION" 1>/dev/null 2>/dev/null; then
-	echo "Version '$VVERSION' already exists." >&2
-	exit 1
-fi
-
-if [ "v$(awk '/^VERSION *=/{print $3; exit}' Makefile)" != "$VVERSION" ]; then
-	echo "Version '$VVERSION' mismatch with \$(VERSION) in Makefile." >&2
-	echo 'Make sure to invoke this script with "make dist".' >&2
-	exit 1
-fi
-
-if ! printf '%s\n%s\n' "$(git tag)" "$VVERSION" | sort -nct. -k1 -k2 -k3; then
-	echo 'New tag is not bigger than existing ones.' >&2
-	exit 1
-fi
-
-if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
-	echo "Date '$DATE' is not up-to-date." >&2
-	exit 1
-fi
-
-if [ "$(awk '/^DATE *=/{print $3; exit}' Makefile)" != "$DATE" ]; then
-	echo "Date '$DATE' mismatch with \$(DATE) in Makefile." >&2
-	echo 'Make sure to invoke this script with "make dist".' >&2
-	exit 1
-fi
-
-if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then
-	echo "Commit message isn't 'Release $VVERSION'." >&2
-	exit 1
-fi
-
-make clean
-env ASSERT_NO_MISSING_TRANSLATIONS=1 make dev-check EXTRA_VERSION="$VVERSION"
-
-if ! (git diff --quiet && git diff --quiet --staged); then
-	echo 'Dirty repository.'
-	exit 1
-fi
-
-
-git tag "$VVERSION"
-sh aux/workflow/sign-tarballs.sh -n "$PROJECT"
-
-
-printf 'Publish version? [Y/n]: ' >&2
-read -r publish
-
-if [ "$publish" = 'n' ]; then
-	cat <<EOF >&2
-Now push the tag and the signature before pushing the commit:
-
-git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify
-git push --tags -o skip-ci --no-verify
-git push
-
-EOF
-else
-	git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify
-	git push --tags -o skip-ci --no-verify
-	git push
-fi
diff --git a/aux/workflow/favicon.html b/aux/workflow/favicon.html
deleted file mode 100644
index 8f9327c..0000000
--- a/aux/workflow/favicon.html
+++ /dev/null
@@ -1 +0,0 @@
-<link rel="icon" type="image/svg+xml" href="favicon.svg" />
diff --git a/aux/workflow/favicon.png b/aux/workflow/favicon.png
deleted file mode 100644
index 051fdf1..0000000
--- a/aux/workflow/favicon.png
+++ /dev/null
diff --git a/aux/workflow/favicon.svg b/aux/workflow/favicon.svg
deleted file mode 100644
index ce566b2..0000000
--- a/aux/workflow/favicon.svg
+++ /dev/null
@@ -1,62 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" width="16" height="16">
-  <path d="M 0  8  L 1  8  L 1  9  L 0  9  L 0  8  Z" />
-  <path d="M 0  13 L 1  13 L 1  14 L 0  14 L 0  13 Z" />
-  <path d="M 1  8  L 2  8  L 2  9  L 1  9  L 1  8  Z" />
-  <path d="M 1  13 L 2  13 L 2  14 L 1  14 L 1  13 Z" />
-  <path d="M 2  8  L 3  8  L 3  9  L 2  9  L 2  8  Z" />
-  <path d="M 2  13 L 3  13 L 3  14 L 2  14 L 2  13 Z" />
-  <path d="M 3  8  L 4  8  L 4  9  L 3  9  L 3  8  Z" />
-  <path d="M 3  13 L 4  13 L 4  14 L 3  14 L 3  13 Z" />
-  <path d="M 4  7  L 5  7  L 5  8  L 4  8  L 4  7  Z" />
-  <path d="M 4  8  L 5  8  L 5  9  L 4  9  L 4  8  Z" />
-  <path d="M 4  13 L 5  13 L 5  14 L 4  14 L 4  13 Z" />
-  <path d="M 5  6  L 6  6  L 6  7  L 5  7  L 5  6  Z" />
-  <path d="M 5  7  L 6  7  L 6  8  L 5  8  L 5  7  Z" />
-  <path d="M 5  13 L 6  13 L 6  14 L 5  14 L 5  13 Z" />
-  <path d="M 6  5  L 7  5  L 7  6  L 6  6  L 6  5  Z" />
-  <path d="M 6  6  L 7  6  L 7  7  L 6  7  L 6  6  Z" />
-  <path d="M 6  14 L 7  14 L 7  15 L 6  15 L 6  14 Z" />
-  <path d="M 7  1  L 8  1  L 8  2  L 7  2  L 7  1  Z" />
-  <path d="M 7  14 L 8  14 L 8  15 L 7  15 L 7  14 Z" />
-  <path d="M 7  15 L 8  15 L 8  16 L 7  16 L 7  15 Z" />
-  <path d="M 7  2  L 8  2  L 8  3  L 7  3  L 7  2  Z" />
-  <path d="M 7  3  L 8  3  L 8  4  L 7  4  L 7  3  Z" />
-  <path d="M 7  4  L 8  4  L 8  5  L 7  5  L 7  4  Z" />
-  <path d="M 7  5  L 8  5  L 8  6  L 7  6  L 7  5  Z" />
-  <path d="M 8  1  L 9  1  L 9  2  L 8  2  L 8  1  Z" />
-  <path d="M 8  15 L 9  15 L 9  16 L 8  16 L 8  15 Z" />
-  <path d="M 9  1  L 10 1  L 10 2  L 9  2  L 9  1  Z" />
-  <path d="M 9  2  L 10 2  L 10 3  L 9  3  L 9  2  Z" />
-  <path d="M 9  6  L 10 6  L 10 7  L 9  7  L 9  6  Z" />
-  <path d="M 9  15 L 10 15 L 10 16 L 9  16 L 9  15 Z" />
-  <path d="M 10 2  L 11 2  L 11 3  L 10 3  L 10 2  Z" />
-  <path d="M 10 3  L 11 3  L 11 4  L 10 4  L 10 3  Z" />
-  <path d="M 10 4  L 11 4  L 11 5  L 10 5  L 10 4  Z" />
-  <path d="M 10 5  L 11 5  L 11 6  L 10 6  L 10 5  Z" />
-  <path d="M 10 6  L 11 6  L 11 7  L 10 7  L 10 6  Z" />
-  <path d="M 11 6  L 12 6  L 12 7  L 11 7  L 11 6  Z" />
-  <path d="M 11 8  L 12 8  L 12 9  L 11 9  L 11 8  Z" />
-  <path d="M 10 15 L 11 15 L 11 16 L 10 16 L 10 15 Z" />
-  <path d="M 11 10 L 12 10 L 12 11 L 11 11 L 11 10 Z" />
-  <path d="M 11 12 L 12 12 L 12 13 L 11 13 L 11 12 Z" />
-  <path d="M 11 14 L 12 14 L 12 15 L 11 15 L 11 14 Z" />
-  <path d="M 11 15 L 12 15 L 12 16 L 11 16 L 11 15 Z" />
-  <path d="M 12 6  L 13 6  L 13 7  L 12 7  L 12 6  Z" />
-  <path d="M 12 8  L 13 8  L 13 9  L 12 9  L 12 8  Z" />
-  <path d="M 12 10 L 13 10 L 13 11 L 12 11 L 12 10 Z" />
-  <path d="M 12 12 L 13 12 L 13 13 L 12 13 L 12 12 Z" />
-  <path d="M 12 14 L 13 14 L 13 15 L 12 15 L 12 14 Z" />
-  <path d="M 13 6  L 14 6  L 14 7  L 13 7  L 13 6  Z" />
-  <path d="M 13 8  L 14 8  L 14 9  L 13 9  L 13 8  Z" />
-  <path d="M 13 10 L 14 10 L 14 11 L 13 11 L 13 10 Z" />
-  <path d="M 13 12 L 14 12 L 14 13 L 13 13 L 13 12 Z" />
-  <path d="M 13 13 L 14 13 L 14 14 L 13 14 L 13 13 Z" />
-  <path d="M 13 14 L 14 14 L 14 15 L 13 15 L 13 14 Z" />
-  <path d="M 14 7  L 15 7  L 15 8  L 14 8  L 14 7  Z" />
-  <path d="M 14 8  L 15 8  L 15 9  L 14 9  L 14 8  Z" />
-  <path d="M 14 9  L 15 9  L 15 10 L 14 10 L 14 9  Z" />
-  <path d="M 14 10 L 15 10 L 15 11 L 14 11 L 14 10 Z" />
-  <path d="M 14 11 L 15 11 L 15 12 L 14 12 L 14 11 Z" />
-  <path d="M 14 12 L 15 12 L 15 13 L 14 13 L 14 12 Z" />
-</svg>
diff --git a/aux/workflow/preamble.md b/aux/workflow/preamble.md
deleted file mode 100644
index a699d04..0000000
--- a/aux/workflow/preamble.md
+++ /dev/null
@@ -1,16 +0,0 @@
-# About
-
-TODOs for [@PROJECT_UC@](https://@TLD@/@PROJECT@/en/).
-
-Register a new one at
-<span id="new">[~euandreh/@MAILING_LIST@@lists.sr.ht](mailto:~euandreh/@MAILING_LIST@@lists.sr.ht?subject=%5B@PROJECT@%5D%20BUG%20or%20TASK%3A%20%3Cdescription%3E)</span>
-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*.
-
-*Tu también puedes escribir en español*.
-
diff --git a/aux/workflow/public.sh b/aux/workflow/public.sh
deleted file mode 100755
index 2c8c36a..0000000
--- a/aux/workflow/public.sh
+++ /dev/null
@@ -1,83 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-PROJECT_UC=
-while getopts 'n:N:m:o:l:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		o)
-			OUTDIR="$OPTARG"
-			;;
-		l)
-			LANGS="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}"            '-n PROJECT'
-assert_arg "${MAILING_LIST:-}"       '-m MAILING_LIST'
-assert_arg "${OUTDIR:-}"             '-o OUTDIR'
-assert_arg "${LANGS:-}"              '-l LANGS'
-PROJECT_UC="${PROJECT_UC:-$PROJECT}"
-
-
-alternates_for() {
-	ALTERNATES="$(mkstemp)"
-	lang="$1"
-	OUTNAME="$2"
-	for l in $LANGS; do
-		if [ "$l" = "$lang" ]; then
-			continue
-		fi
-		cat <<EOF >> "$ALTERNATES"
-<link rel="alternate" href="https://$TLD/$PROJECT/$l/$OUTNAME" hreflang="$l" />
-EOF
-	done
-	echo "$ALTERNATES"
-}
-
-
-mkdir -p "$OUTDIR"
-
-sh aux/workflow/TODOs.sh \
-	-N "$PROJECT_UC" -n "$PROJECT" -m "$MAILING_LIST" -o "$OUTDIR"
-
-for lang in $LANGS; do
-	mkdir -p "$OUTDIR/$lang/"
-	sh aux/workflow/commonmark.sh \
-		-N "$PROJECT" -l "$lang" -t README    \
-		-H "$(alternates_for "$lang" '')" \
-		< "README.$lang.md"    > "$OUTDIR/$lang/index.html"
-	sh aux/workflow/commonmark.sh \
-		-N "$PROJECT" -l "$lang" -t CHANGELOG \
-		-H "$(alternates_for "$lang" 'CHANGELOG.html')" \
-		< "CHANGELOG.$lang.md" > "$OUTDIR/$lang/CHANGELOG.html"
-	ln -fs ../favicon.svg "$OUTDIR/$lang"
-done
-
-ln -fs en/index.html "$OUTDIR/index.html"
-cp aux/workflow/favicon.svg "$OUTDIR"
-
-sh aux/ci/report.sh -n "$PROJECT" -o "$OUTDIR"
diff --git a/aux/workflow/sign-tarballs.sh b/aux/workflow/sign-tarballs.sh
deleted file mode 100755
index 3ab2bb8..0000000
--- a/aux/workflow/sign-tarballs.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/sh
-set -eu
-
-while getopts 'n:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND -1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-
-
-SIGNATURES="$(git notes --ref=refs/notes/signatures/tar.gz list | cut -d\  -f2)"
-for tag in $(git tag); do
-	COMMIT="$(git rev-list -n1 "$tag")"
-	if echo "$SIGNATURES" | grep -qF "$COMMIT"; then
-		continue
-	fi
-	echo "Adding missing signature to $tag" >&2
-	git notes --ref=refs/notes/signatures/tar.gz add -C "$(
-		git archive --format tar.gz --prefix "$PROJECT-$tag/" "$tag" |
-		gpg --output - --armor --detach-sign |
-		git hash-object -w --stdin
-	)" "$tag"
-done
diff --git a/aux/workflow/style.css b/aux/workflow/style.css
deleted file mode 100644
index 99980aa..0000000
--- a/aux/workflow/style.css
+++ /dev/null
@@ -1,78 +0,0 @@
-<style>
-  body {
-    max-width: 800px;
-    margin: 0 auto 0 auto;
-  }
-
-  hr {
-    background-color: #ccc;
-  }
-
-  .header-anchor {
-    opacity: 0.5;
-    display: inline-block;
-  }
-
-  .tag {
-    font-family: monospace;
-    font-size: 70%;
-    background-color: lightgray;
-    color: black;
-    padding: 3px;
-    border-radius: 5px;
-  }
-
-  .TODO {
-    color: brown;
-  }
-
-  .DOING {
-    color: yellowgreen;
-  }
-
-  .WAITING, .MEETING {
-    color: orange;
-  }
-
-  .INACTIVE {
-    color: gray;
-  }
-
-  .NEXT {
-    color: red;
-  }
-
-  .CANCELLED, .DONE, .WONTFIX {
-    color: green;
-  }
-
-  pre, code {
-    background-color: #ddd;
-    border-radius: 5px;
-    padding: 5px;
-  }
-
-  pre > code {
-    overflow: auto;
-    white-space: pre;
-  }
-
-  @media(prefers-color-scheme: dark) {
-    :root {
-      color: white;
-      background-color: black;
-    }
-
-    a {
-      color: hsl(211, 100%, 60%);
-    }
-
-    a:visited {
-      color: hsl(242, 100%, 80%);
-    }
-
-    pre, code {
-      background-color: #222;
-    }
-  }
-</style>