2023-04-30 11:12:06 +00:00
|
|
|
SHELL = /bin/sh
|
|
|
|
SOURCES = $(shell find src/ -type f)
|
2023-05-01 04:09:53 +00:00
|
|
|
SITEMAP_INDEX_FILES = $(filter %/index.gmi, $(SOURCES))
|
2023-04-30 11:12:06 +00:00
|
|
|
|
2023-05-01 04:09:53 +00:00
|
|
|
all: subdirs $(SOURCES:src/%.gmi=html/%.html) $(SOURCES:src/%.gmi=gmi/%.gmi) gmi/sitemap.gmi
|
2023-04-30 11:12:06 +00:00
|
|
|
|
|
|
|
clean:
|
|
|
|
rm -rf html/* gmi/*
|
|
|
|
|
|
|
|
subdirs:
|
|
|
|
find src -mindepth 1 -type d -printf '%P\0' | xargs -0 -I{} mkdir -p gmi/{} html/{}
|
|
|
|
|
|
|
|
html/%.html: src/%.gmi tmpl/html.awk
|
2023-04-30 16:23:13 +00:00
|
|
|
mawk -f tmpl/html.awk -- $< > $@
|
2023-04-30 11:12:06 +00:00
|
|
|
|
2023-04-30 13:20:58 +00:00
|
|
|
gmi/%.gmi: src/%.gmi tmpl/gemini.awk
|
2023-05-01 03:51:16 +00:00
|
|
|
mawk -f tmpl/gemini.awk -- $< > $@
|
|
|
|
|
|
|
|
gmi/sitemap.gmi: $(SITEMAP_INDEX_FILES) tmpl/sitemap_gmi.awk
|
|
|
|
mawk -f tmpl/sitemap_gmi.awk $(SITEMAP_INDEX_FILES) > $@
|