diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/Makefile | 26 | ||||
| -rw-r--r-- | bin/html.sh | 14 |
2 files changed, 30 insertions, 10 deletions
diff --git a/bin/Makefile b/bin/Makefile index 4788281c..6e00e175 100644 --- a/bin/Makefile +++ b/bin/Makefile @@ -91,26 +91,32 @@ scheme.png: scheme ./scheme -gt > scheme.png HTMLS = $(BINS_ALL:%=%.html) +HTMLS += Makefile.html +HTMLS += gfx-fb.html +HTMLS += gfx-x11.html +HTMLS += gfx.html +HTMLS += html.html +HTMLS += png.html WEBROOT = /usr/local/www/causal.agency -GITEA_URL = https://code.causal.agency/june/src/src/branch/master/bin html: $(HTMLS) + @true -$(HTMLS): ttpre hi +$(HTMLS): ttpre hi html.sh .SUFFIXES: .html .c.html: - @./hi -f html -o document,tab=4 -n $< /dev/null > $@ - @echo '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@ - man -P cat ./man1/$(<:%.c=%.1) | ./ttpre >> $@ - ./hi -f html -o anchor $< >> $@ + sh html.sh $< ./man1/$(<:.c=.1) > $@ .sh.html: - @./hi -f html -o document,tab=4 -n $< /dev/null > $@ - @echo '<code><a href="$(GITEA_URL)/$<">$< in git</a></code>' >> $@ - man -P cat ./man1/$(<:%.sh=%.1) | ./ttpre >> $@ - ./hi -f html -o anchor $< >> $@ + sh html.sh $< ./man1/$(<:.sh=.1) > $@ + +.h.html: + sh html.sh $< > $@ + +Makefile.html: Makefile bin.7 + sh html.sh Makefile ./bin.7 > Makefile.html clean: rm -f $(BINS_ALL) $(LINKS) tags scheme.h scheme.png *.o *.html diff --git a/bin/html.sh b/bin/html.sh new file mode 100644 index 00000000..3179c4b7 --- /dev/null +++ b/bin/html.sh @@ -0,0 +1,14 @@ +#!/bin/sh +set -eu + +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 +cat <<- EOF + <code><a href="${GiteaURL}/${src}">${src} in git</a></code> +EOF +[ -f "${man}" ] && man -P cat "${man}" | ./ttpre +./hi -f html -o anchor "${src}" |