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