diff options
| author | June McEnroe <june@causal.agency> | 2019-07-25 23:16:51 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-07-25 23:16:51 -0400 |
| commit | 46237a457ff3c9a813a56f2a442c115bf8610cbc (patch) | |
| tree | 9cfb93a42f1b1f10ea1395ff911e280800cb19ae /bin/html.sh | |
| parent | Don't match comments in strings in make (diff) | |
| download | src-46237a457ff3c9a813a56f2a442c115bf8610cbc.tar.gz src-46237a457ff3c9a813a56f2a442c115bf8610cbc.zip | |
Use scheme to style HTMLs
Diffstat (limited to '')
| -rw-r--r-- | bin/html.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/html.sh b/bin/html.sh index cb7f1a66..8f4e3887 100644 --- a/bin/html.sh +++ b/bin/html.sh @@ -6,8 +6,11 @@ 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 | sed '/<pre/d' +./hi -f html -o document,tab=4 -n "${src}" /dev/null | sed -e '/<pre/d' cat <<- EOF + <style> + $(./scheme -s | sed -f style.sed) + </style> <code><a href="${GiteaURL}/${src}">${src} in git</a></code> EOF [ -f "${man}" ] && man -P cat "${PWD}/${man}" | ./ttpre |