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
commit761a32420ca84ad5de38716f5c03e536551aab29 (patch)
tree90f528667bcff356b19ee653c235cf85a41953b4
parentUse setopt in up (diff)
downloadsrc-761a32420ca84ad5de38716f5c03e536551aab29.tar.gz
src-761a32420ca84ad5de38716f5c03e536551aab29.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