diff options
Diffstat (limited to 'html/Makefile')
| -rw-r--r-- | html/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/html/Makefile b/html/Makefile index 49678014..80e36940 100644 --- a/html/Makefile +++ b/html/Makefile @@ -66,7 +66,8 @@ FILES_TO_COPY_TARGETS := $(addprefix $(BUILDDIR)/,$(FILES_TO_COPY)) all: $(HTML) $(RULES_HTML) maps misc $(BLOG_POSTS_HTML) misc: $(BUILDDIR)/latex-build $(BUILDDIR)/cards-data $(FILES_TO_COPY_TARGETS) \ - $(BUILDDIR)/webtools.wasm + $(BUILDDIR)/webtools.wasm \ + $(BUILDDIR)/feed.rss wasm_exec.js: $(shell go env GOROOT)/lib/wasm/wasm_exec.js cp $< $@ @@ -137,3 +138,10 @@ endef $(eval $(call generateHtml, $(BUILDDIR),)) $(eval $(call generateRulesHtml, $(BUILDDIR)/rules, -N)) $(eval $(call generateHtml, $(BUILDDIR)/blog,)) + +FEEDSRC = feed +GEN_FEED = $(FEEDSRC)/create_feed.py +FEEDITEMS = $(wildcard $(FEEDSRC)/items/*) + +$(BUILDDIR)/feed.rss: $(FEEDITEMS) $(GEN_FEED) + $(VERBOSE)python3 $(GEN_FEED) $(FEEDITEMS) > $@ |