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