13 files changed, 0 insertions, 303 deletions
diff --git a/build-aux/assert-shellcheck.sh b/build-aux/assert-shellcheck.sh
deleted file mode 100755
index 334a875..0000000
--- a/build-aux/assert-shellcheck.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-set -eux
-
-git ls-files -z | \
-  xargs -0 awk 'FNR==1 && /^#!\/bin\/sh$/ { print FILENAME }' | \
-  xargs shellcheck
diff --git a/build-aux/ci/ci-build.sh b/build-aux/ci/ci-build.sh
deleted file mode 100755
index 0b792df..0000000
--- a/build-aux/ci/ci-build.sh
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/bin/sh
-set -eux
-
-PACKAGE="$1"
-LOGS_DIR="$2"
-read -r _ SHA _ # oldrev newrev refname
-FILENAME="$(date -Is)-$SHA.log"
-LOGFILE="$LOGS_DIR/$FILENAME"
-
-{
-  echo "Starting CI job at: $(date -Is)"
-
-  finish() {
-    STATUS="$?"
-    printf "\n\n>>> exit status was %s\n" "$STATUS"
-    echo "Finishing CI job at: $(date -Is)"
-    cd -
-    NOTE=$(cat <<EOF
-See CI logs with:
-  git notes --ref=refs/notes/ci-logs show $SHA
-  git notes --ref=refs/notes/ci-data show $SHA
-EOF
-        )
-    git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
-    git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE"
-    git notes append -m "$NOTE"
-    printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
-  }
-  trap finish EXIT
-
-  unset GIT_DIR
-  CLONE="$(mktemp -d)"
-  git clone . "$CLONE"
-  cd "$CLONE"
-  git config --global user.email git@euandre.org
-  git config --global user.name 'EuAndreh CI'
-
-  if [ -f build-aux/guix/with-container.sh ]; then
-    RUNNER='./build-aux/guix/with-container.sh'
-  else
-    RUNNER='sh -c'
-  fi
-
-  if [ -f ./bootstrap ]; then
-    COMMAND='./bootstrap && ./configure --enable-programmer-mode --enable-ci-mode && make clean all check distcheck public'
-  else
-    COMMAND='make clean check public'
-  fi
-
-  $RUNNER "$COMMAND"
-
-  rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
-} | tee "$LOGFILE" 2>&1
diff --git a/build-aux/ci/git-post-receive.sh b/build-aux/ci/git-post-receive.sh
deleted file mode 100755
index 2f6e3c0..0000000
--- a/build-aux/ci/git-post-receive.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-set -eu
-
-for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do
-  opt="$(eval "echo \$GIT_PUSH_OPTION_$n")"
-  if [ "$opt" = skip-ci ] || [ "$opt" = ci-skip ]; then
-    printf "\n'%s' option detected, not running ci-build.sh\n\n" "$opt"
-    exit 0
-  fi
-done
-
-PACKAGE="$(basename "$PWD" | cut -d. -f1)" # remove .git suffix
-LOGS_DIR="/data/ci/$PACKAGE/logs"
-"/data/ci/$PACKAGE/ci-build.sh" "$PACKAGE" "$LOGS_DIR"
diff --git a/build-aux/ci/git-pre-push.sh b/build-aux/ci/git-pre-push.sh
deleted file mode 100755
index 2d2bcb1..0000000
--- a/build-aux/ci/git-pre-push.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-set -eux
-
-PACKAGE="$(basename "$PWD")"
-LOGS_DIR="/data/ci/$PACKAGE/logs"
-REMOTE_GIT_DIR="/data/git/$PACKAGE.git"
-
-DESCRIPTION="$(mktemp)"
-if [ -f description ]
-then
-  cp description "$DESCRIPTION"
-else
-  git config euandreh.description > "$DESCRIPTION"
-fi
-
-scp "$DESCRIPTION" "git.euandreh.xyz:$REMOTE_GIT_DIR/description"
-ssh git.euandreh.xyz mkdir -p "$LOGS_DIR"
-scp build-aux/ci/ci-build.sh         "git.euandreh.xyz:$(dirname "$LOGS_DIR")/ci-build.sh"
-scp build-aux/ci/git-post-receive.sh "git.euandreh.xyz:$REMOTE_GIT_DIR/hooks/post-receive"
diff --git a/build-aux/guix/manifest.scm b/build-aux/guix/manifest.scm
deleted file mode 100644
index ab3e7bc..0000000
--- a/build-aux/guix/manifest.scm
+++ /dev/null
@@ -1,17 +0,0 @@
-(specifications->manifest
- (map symbol->string
-      '(bash
-        coreutils
-        findutils
-        diffutils
-        grep
-        sed
-        git
-        tar
-        gzip
-        gawk
-        make
-        perl
-        shellcheck
-        pandoc
-        groff)))
diff --git a/build-aux/guix/pinned-channels.scm b/build-aux/guix/pinned-channels.scm
deleted file mode 100644
index 67b5a51..0000000
--- a/build-aux/guix/pinned-channels.scm
+++ /dev/null
@@ -1,11 +0,0 @@
-(list
- (channel
-  (name 'guix)
-  (url "https://git.savannah.gnu.org/git/guix.git")
-  (commit
-   "d265809b782293eb42dd663b4611ca19dd2bf1b3")
-  (introduction
-   (make-channel-introduction
-    "9edb3f66fd807b096b48283debdcddccfea34bad"
-    (openpgp-fingerprint
-     "BBB0 2DDF 2CEA F6A8 0D1D  E643 A2A0 6DF2 A33A 54FA")))))
diff --git a/build-aux/guix/with-container.sh b/build-aux/guix/with-container.sh
deleted file mode 100755
index 5969d38..0000000
--- a/build-aux/guix/with-container.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-set -eux
-
-guix time-machine -C build-aux/guix/pinned-channels.scm -- environment --pure -C -m build-aux/guix/manifest.scm -- sh -c "$@"
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
diff --git a/build-aux/workflow/README.sh b/build-aux/workflow/README.sh
deleted file mode 100755
index 49b1e8d..0000000
--- a/build-aux/workflow/README.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/bin/sh
-set -eu
-
-mkdir -p public
-
-PROJECT_UC="$1"
-PROJECT="$2"
-
-RELEASES_LIST="$(mktemp)"
-for version in $(git tag); do
-  echo "- version [$version](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$version.tar.gz), released in $(git log -1 --format=%cd --date=short "$version")" >> "$RELEASES_LIST"
-done
-
-RELEASES="$(mktemp)"
-if [ -s "$RELEASES_LIST" ]; then
-  printf '\n# Releases\n\n' >> "$RELEASES"
-  cat "$RELEASES_LIST" >> "$RELEASES"
-fi
-
-cat README.md "$RELEASES" | \
-  pandoc --toc                                   \
-         --highlight-style pygments              \
-         --toc-depth=2                           \
-         -s                                      \
-         --metadata title="$PROJECT_UC - README" \
-         --metadata lang=en                      \
-         -r markdown                             \
-         -w html                                 \
-         > public/index.html
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>