diff options
author | rsiddharth <s@ricketyspace.net> | 2018-10-14 22:14:51 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2018-10-14 22:14:51 -0400 |
commit | 9c6282e34dd2e0e09e59c90a0a3cf6a36d52dcbc (patch) | |
tree | 0f508435b5ba1b4a3261d98b6cc54ba3d4ec3a24 | |
parent | 61a0e7e6f2dc885ae9427a1cb36883d99fc1d338 (diff) |
Makefile: Update $(git-difme).
Don't use GNUMakefile $@, $< idioms.
-rw-r--r-- | Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -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" |