summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorrsiddharth <s@ricketyspace.net>2018-10-14 22:14:51 -0400
committerrsiddharth <s@ricketyspace.net>2018-10-14 22:14:51 -0400
commit9c6282e34dd2e0e09e59c90a0a3cf6a36d52dcbc (patch)
tree0f508435b5ba1b4a3261d98b6cc54ba3d4ec3a24
parent61a0e7e6f2dc885ae9427a1cb36883d99fc1d338 (diff)
Makefile: Update $(git-difme).
Don't use GNUMakefile $@, $< idioms.
-rw-r--r--Makefile13
1 files changed, 6 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index cca3ebc..c2a3e9f 100644
--- a/Makefile
+++ b/Makefile
@@ -43,13 +43,12 @@ docs-clean:
$(git_difme): $(git_difme_src)
@mkdir -p $(bin)
- @touch $@
- @echo "#!"$(guile)" \\" > $@
- @echo "-e main -s" >> $@
- @echo "!#" >> $@
- @cat $< >> $@
- @sed -i '7i;; repo at git.ricketyspace.net/git-difme' $@
- @chmod +x $@
+ @touch $(git_difme)
+ @echo "#!"$(guile)" \\" > $(git_difme)
+ @echo "-e main -s" >> $(git_difme)
+ @echo "!#" >> $(git_difme)
+ @cat $(git_difme_src) >> $(git_difme)
+ @chmod +x $(git_difme)
@echo "Script at" $@
@echo "Add" $(bin) "to PATH"