summaryrefslogtreecommitdiffhomepage
path: root/GNUmakefile
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-02-23 01:01:29 +0100
committerThomas Voss <mail@thomasvoss.com> 2024-02-23 01:01:29 +0100
commitbc9b490ea8afc2feec6f39dc1dafc5ea11d6b8d6 (patch)
tree211edf1fcd4e494b114374179285463c9530faaf /GNUmakefile
parent79b7ac752e18672935b887fcaccdc360a5ea7eee (diff)
More things
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile10
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)