public inbox for ~johnnyrichard/olang-devel@lists.sr.ht
 help / color / mirror / code / Atom feed
12cb790aea684f539f28f58f0f23eee44a20c646 blob 401 bytes (raw)
 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

debug log:
solving 12cb790 ...
found 12cb790 in http://lists.johnnyrichard.com/olang/20241108042411.105478-1-carlos@maniero.me/
found b2d29a4 in https://git.johnnyrichard.com/olang.git
preparing index
index prepared:
100644 b2d29a42e7c76daa45a02f81935500637da19bee	docs/info/Makefile

applying [1/1] http://lists.johnnyrichard.com/olang/20241108042411.105478-1-carlos@maniero.me/
diff --git a/docs/info/Makefile b/docs/info/Makefile
index b2d29a4..12cb790 100644

Checking patch docs/info/Makefile...
Applied patch docs/info/Makefile cleanly.

index at:
100644 12cb790aea684f539f28f58f0f23eee44a20c646	docs/info/Makefile

Code repositories for project(s) associated with this public inbox

	https://git.johnnyrichard.com/olang.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox