diff options
author | Suleyman Farajli <suleyman@farajli.net> | 2025-02-13 00:48:47 +0400 |
---|---|---|
committer | Suleyman Farajli <suleyman@farajli.net> | 2025-02-13 00:48:47 +0400 |
commit | 434548e043bd18901ff39fd6dee8c1b031653241 (patch) | |
tree | 41810cd3c737b9fad9f6f0374d0ee5e5ba125b9f | |
parent | df719f8ecb135fafa13db27fb9a825019b22b71f (diff) |
Makefile: `output` -> `output/` to indicate it's a directory
-rw-r--r-- | GNUmakefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/GNUmakefile b/GNUmakefile index dd66df7..5213cfc 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -6,10 +6,10 @@ all: $(HTML) %.html: %.md build-page sh build-page $< > $@ -output: $(HTML) - echo $? | xargs -n 1 dirname | xargs -I _ mkdir -p $@/_ - echo $? | xargs -n 1 | xargs -I _ cp _ $@/_ - cp favicon.ico style.css $@/ +output/: $(HTML) + echo $? | xargs -n 1 dirname | xargs -I _ mkdir -p $@_ + echo $? | xargs -n 1 | xargs -I _ cp _ $@_ + cp favicon.ico style.css $@ clean: rm -rf $(HTML) output/ |