diff options
Diffstat (limited to 'www/git.causal.agency/about-filter.sh')
| -rw-r--r-- | www/git.causal.agency/about-filter.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/www/git.causal.agency/about-filter.sh b/www/git.causal.agency/about-filter.sh deleted file mode 100644 index ea68fe05..00000000 --- a/www/git.causal.agency/about-filter.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -case "$1" in - (*.[1-9]) - exec /usr/bin/mandoc -T html -O fragment,man=%N.%S,includes=../tree/%I - ;; - (*) - exec /usr/local/libexec/hi -l text -f html - ;; -esac |