summary refs log tree commit diff
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2019-02-27 14:12:16 -0500
committerJune McEnroe <june@causal.agency>2019-02-27 14:12:16 -0500
commitf03606f918cd09afb94719ba2b7158e7ac8b299c (patch)
tree9dd7af1fe107166205795499ce801ad3647894cd
parentUse setopt in up (diff)
downloadsrc-f03606f918cd09afb94719ba2b7158e7ac8b299c.tar.gz
src-f03606f918cd09afb94719ba2b7158e7ac8b299c.zip
Delete extraneous <pre> in html.sh
-rw-r--r--bin/html.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/html.sh b/bin/html.sh
index 8cf05866..cb7f1a66 100644
--- a/bin/html.sh
+++ b/bin/html.sh
@@ -6,7 +6,7 @@ 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
+./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