diff options
| author | June McEnroe <june@causal.agency> | 2019-07-27 17:00:47 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-07-27 17:00:47 -0400 |
| commit | 76c6a9b42a3604d30911c96d5ce4ae3c9be4de97 (patch) | |
| tree | a923f81ad039cdacc7b1e29153a5a27ae2d30868 /bin | |
| parent | Add c11.pdf (diff) | |
| download | src-76c6a9b42a3604d30911c96d5ce4ae3c9be4de97.tar.gz src-76c6a9b42a3604d30911c96d5ce4ae3c9be4de97.zip | |
Shell script style pass
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/html.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/html.sh b/bin/html.sh index cb7f1a66..924cb278 100644 --- a/bin/html.sh +++ b/bin/html.sh @@ -6,9 +6,9 @@ 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 '/<pre/d' cat <<- EOF <code><a href="${GiteaURL}/${src}">${src} in git</a></code> EOF -[ -f "${man}" ] && man -P cat "${PWD}/${man}" | ./ttpre -./hi -f html -o anchor "${src}" +[ -f "$man" ] && man -P cat "${PWD}/${man}" | ./ttpre +./hi -f html -o anchor "$src" |