diff options
Diffstat (limited to 'www/git.causal.agency/source-filter.sh')
| -rw-r--r-- | www/git.causal.agency/source-filter.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/www/git.causal.agency/source-filter.sh b/www/git.causal.agency/source-filter.sh new file mode 100644 index 00000000..ce9e3f8b --- /dev/null +++ b/www/git.causal.agency/source-filter.sh @@ -0,0 +1,13 @@ +#!/bin/sh + +case "$1" in + (*.[1-9]) + /usr/bin/mandoc -T utf8 \ + | /usr/local/libexec/ttpre \ + | /usr/bin/sed -E \ + 's,([a-z0-9_-]+)[(]([1-9])[)],<a href="\1.\2">&</a>,g' + ;; + (*) + exec /usr/local/libexec/hi -t -n "$1" -f html -o anchor + ;; +esac |