diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/GNUmakefile b/GNUmakefile index 852c272..75d10af 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,26 +1,24 @@ -.PHONY: check clean serve watch +.PHONY: check clean serve MAKEFLAGS := -j$(shell nproc) export PATH := $(PATH):./bin export LANG := en_US.UTF-8 +reqs := $(shell find include m4 -type f) srcs := $(shell find src -type f -name 'index.gsp') dsts := $(srcs:%.gsp=%.html) all: $(dsts) -%.html: %.gsp +%.html: %.gsp $(reqs) m4 -P -Iinclude m4/* $< | gsp >$@ check: find src -name '*.gsp' -exec \ - aspell --home-dir=./ --ignore-case check {} \; + aspell --personal=.wordlist --ignore-case check {} \; clean: find . -name '*.html' -delete serve: darkhttpd src --daemon - -watch: - git ls-files --others | entr -n $(MAKE) |