summary refs log tree commit diff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--bin/Makefile2
-rw-r--r--bin/html.sh5
-rw-r--r--bin/style.sed15
3 files changed, 2 insertions, 20 deletions
diff --git a/bin/Makefile b/bin/Makefile
index c35e1c8f..1508a43b 100644
--- a/bin/Makefile
+++ b/bin/Makefile
@@ -121,7 +121,7 @@ WEBROOT = /usr/local/www/causal.agency
 html: $(HTMLS)
 	@true
 
-$(HTMLS): html.sh style.sed hi scheme ttpre
+$(HTMLS): ttpre hi html.sh
 
 .SUFFIXES: .html
 
diff --git a/bin/html.sh b/bin/html.sh
index 8f4e3887..cb7f1a66 100644
--- a/bin/html.sh
+++ b/bin/html.sh
@@ -6,11 +6,8 @@ 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 -e '/<pre/d'
+./hi -f html -o document,tab=4 -n "${src}" /dev/null | sed '/<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
diff --git a/bin/style.sed b/bin/style.sed
deleted file mode 100644
index b1fbde63..00000000
--- a/bin/style.sed
+++ /dev/null
@@ -1,15 +0,0 @@
-s/[.]bg0/html, &/
-s/[.]fg15/html, &/
-s/[.]fg12/a, &/
-s/[.]fg13/a:visited, &/
-
-s/[.]fg7/.hi.Keyword, &/
-s/[.]fg2/.hi.Macro, &/
-s/[.]fg11/.hi.Tag:focus, &/
-s/[.]fg6/.hi.String, &/
-s/[.]fg14/.hi.Format, &/
-s/[.]fg3/.hi.Interp, &/
-s/[.]fg4/.hi.Comment, &/
-s/[.]fg12/.hi.Todo, &/
-s/[.]fg1 /.hi.DiffOld, &/
-s/[.]fg2/.hi.DiffNew, &/