public inbox for ~johnnyrichard/olang-devel@lists.sr.ht

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
 MAKEINFO=makeinfo

HTML_HEADER=$(shell cat _header.html)

all: html

html: olang.texi introduction.texi installation.texi getting-started.texi specification.texi contribution-guide.texi
	$(MAKEINFO) --set-customization-variable AFTER_BODY_OPEN="$(HTML_HEADER)" --css-include=../style.css -o html --html olang.texi
	find html -name '*.html' | xargs python3 codehl.py

.PHONY: clean
clean:
	rm -rf html