diff options
| author | June McEnroe <june@causal.agency> | 2019-02-20 19:54:45 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-02-20 19:54:45 -0500 |
| commit | 750193cbfa54a4601d0a5c940dadc673346d33a9 (patch) | |
| tree | fe061781f5a90de8507aa59f6c34af4f4c729613 /bin/html.sh | |
| parent | Add Dirk Gently's Holistic Detective Agency (diff) | |
| download | src-750193cbfa54a4601d0a5c940dadc673346d33a9.tar.gz src-750193cbfa54a4601d0a5c940dadc673346d33a9.zip | |
Factor out html.sh and produce html for all sources
Except for gfx-cocoa because I don't have an Objective-C highlighter. Also hypothetically the .h rule could match up headers with .3 manual pages if I cared to write them.
Diffstat (limited to 'bin/html.sh')
| -rw-r--r-- | bin/html.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/html.sh b/bin/html.sh new file mode 100644 index 00000000..3179c4b7 --- /dev/null +++ b/bin/html.sh @@ -0,0 +1,14 @@ +#!/bin/sh +set -eu + +readonly GiteaURL=https://code.causal.agency/june/src/src/branch/master/bin + +src=$1 +man=${2:-} + +./hi -f html -o document,tab=4 -n "${src}" /dev/null +cat <<- EOF + <code><a href="${GiteaURL}/${src}">${src} in git</a></code> +EOF +[ -f "${man}" ] && man -P cat "${man}" | ./ttpre +./hi -f html -o anchor "${src}" |