From 6d93d68d7d8264d91842c98267bd96fa1cd06ba2 Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Fri, 1 Oct 2021 23:29:16 +0000
Subject: Replace filter shell scripts with C program

Eliminates the need for a shell inside the chroot, along with cat,
mktemp and rm. It's likely a bit faster too.
---
 www/git.causal.agency/about-filter.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 www/git.causal.agency/about-filter.sh

(limited to 'www/git.causal.agency/about-filter.sh')

diff --git a/www/git.causal.agency/about-filter.sh b/www/git.causal.agency/about-filter.sh
deleted file mode 100644
index 7a93d471..00000000
--- a/www/git.causal.agency/about-filter.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-set -eu
-
-options=fragment,man=%N.%S,includes=../tree/%I
-
-case "$1" in
-	(README.[1-9])
-		exec mandoc -T html -O $options
-		;;
-	(*.[1-9])
-		exec mandoc -T html -O $options,toc
-		;;
-	(*)
-		exec hilex -l text -f html -o pre
-		;;
-esac
-- 
cgit 1.4.1