diff options
| author | rsiddharth <s@ricketyspace.net> | 2016-07-14 22:22:22 +0000 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2016-07-14 22:22:22 +0000 |
| commit | ec871cbde3e1aeb70d4a016a412e8aea66012503 (patch) | |
| tree | 59700d9a9af391a326cfe99581e38319fc71066a | |
| parent | b1018c8642fd368ebd494da167601a52c72e1e8e (diff) | |
update Makefile.
* Makefile ($(git_difme)): insert repo info to target file.
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -48,6 +48,7 @@ $(git_difme): $(git_difme_src) @echo "-e main -s" >> $@ @echo "!#" >> $@ @cat $< >> $@ + @sed -i '7i;; repo at git.ricketyspace.net/git-difme' $@ @chmod +x $@ @echo "Script at" $@ |