2025-11-11 16:26:05 +01:00
|
|
|
# Makefile
|
|
|
|
|
|
2025-11-18 18:53:29 +01:00
|
|
|
HTML := $(shell grep -xl '<!-- static html //-->' *.html)
|
2025-11-11 16:26:05 +01:00
|
|
|
|
|
|
|
|
.PHONY: all docs
|
|
|
|
|
|
|
|
|
|
all: docs
|
|
|
|
|
|
2025-11-17 13:17:17 +01:00
|
|
|
docs: static-html.sh $(HTML)
|
|
|
|
|
./static-html.sh $(HTML)
|
