diff options
Diffstat (limited to 'web/GNUmakefile')
-rw-r--r-- | web/GNUmakefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/web/GNUmakefile b/web/GNUmakefile new file mode 100644 index 0000000..37b2a5e --- /dev/null +++ b/web/GNUmakefile @@ -0,0 +1,18 @@ +SKRIBILO := skribilo -v2 + +docs := index.skb +products := $(docs:%.skb=%.html) + + +all: $(products) + +%.html: %.skb + $(SKRIBILO) --target=html -o $@ $^ + +clean: + -rm -f $(products) + + +.PHONY: all clean + +# arch-tag: c5c7c80c-5cb1-47f2-a93d-53c690e30bd6 |