diff options
| -rw-r--r-- | bin/Makefile | 2 | ||||
| -rw-r--r-- | bin/html.sh | 5 | ||||
| -rw-r--r-- | bin/style.sed | 15 |
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, &/ |