From ec871cbde3e1aeb70d4a016a412e8aea66012503 Mon Sep 17 00:00:00 2001
From: rsiddharth <s@ricketyspace.net>
Date: Thu, 14 Jul 2016 22:22:22 +0000
Subject: update Makefile.

* Makefile ($(git_difme)): insert repo info to target file.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c2843e0..3ffba71 100644
--- a/Makefile
+++ b/Makefile
@@ -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" $@
-- 
cgit v1.2.3