diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/html.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/html.sh b/bin/html.sh index 924cb278..e5a15fdc 100644 --- a/bin/html.sh +++ b/bin/html.sh @@ -1,14 +1,14 @@ #!/bin/sh set -eu -readonly GiteaURL='https://code.causal.agency/june/src/src/branch/master/bin' +readonly GitURL='https://git.causal.agency/src/tree/bin' src=$1 man=${2:-} ./hi -f html -o document,tab=4 -n "$src" /dev/null | sed '/<pre/d' cat <<- EOF - <code><a href="${GiteaURL}/${src}">${src} in git</a></code> + <code><a href="${GitURL}/${src}">${src} in git</a></code> EOF [ -f "$man" ] && man -P cat "${PWD}/${man}" | ./ttpre ./hi -f html -o anchor "$src" |