summary refs log tree commit diff
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2019-02-17 21:30:00 -0500
committerJune McEnroe <june@causal.agency>2019-02-17 21:30:00 -0500
commit5666794d51b927cca3dec538abacd67f5f1fcf7a (patch)
tree421d19ead13d709d4d9cf709c7f28cb31c304437
parentAdd hi -f html -o anchor for line number links (diff)
downloadsrc-5666794d51b927cca3dec538abacd67f5f1fcf7a.tar.gz
src-5666794d51b927cca3dec538abacd67f5f1fcf7a.zip
Generate HTML with hi -n -f html -o anchor
Running hi twice to insert stuff between the head and the content is a
bit of a hack but oh well.
Diffstat (limited to '')
-rw-r--r--bin/Makefile10
1 files changed, 4 insertions, 6 deletions
diff --git a/bin/Makefile b/bin/Makefile
index 9fa34ce9..43d2cce1 100644
--- a/bin/Makefile
+++ b/bin/Makefile
@@ -101,18 +101,16 @@ $(HTMLS): ttpre hi
 .SUFFIXES: .html
 
 .c.html:
-	@echo '<!DOCTYPE html>' > $@
-	@echo '<title>$(<:%.c=%)</title>' >> $@
+	@./hi -f html -o document,anchor,tab=4 -m $< /dev/null > $@
 	@echo '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@
 	man -P cat ./man1/$(<:%.c=%.1) | ./ttpre >> $@
-	./hi -f html -o inline,tab=4 $< >> $@
+	./hi -n -f html -o anchor $< >> $@
 
 .sh.html:
-	@echo '<!DOCTYPE html>' > $@
-	@echo '<title>$(<:%.sh=%)</title>' >> $@
+	@./hi -f html -o document,anchor,tab=4 -m $< /dev/null > $@
 	@echo '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@
 	man -P cat ./man1/$(<:%.sh=%.1) | ./ttpre >> $@
-	./hi -f html -o inline,tab=4 $< >> $@
+	./hi -n -f html -o anchor $< >> $@
 
 clean:
 	rm -f $(BINS_ALL) $(LINKS) tags scheme.h scheme.png *.o *.html