diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-02-23 01:01:29 +0100 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-02-23 01:01:29 +0100 |
commit | bc9b490ea8afc2feec6f39dc1dafc5ea11d6b8d6 (patch) | |
tree | 211edf1fcd4e494b114374179285463c9530faaf /GNUmakefile | |
parent | 79b7ac752e18672935b887fcaccdc360a5ea7eee (diff) |
More things
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) |