diff options
Diffstat (limited to '')
-rw-r--r-- | www/git.causal.agency/about-filter.sh | 16 |
1 files changed, 0 insertions, 16 deletions
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 |