Rename the "tools" programs to also have the "git-" prefix

Hey, people are using them, and we have an install target for them, so
make sure that we can actually install them sanely without disturbing
the namespace.

diff --git a/tools/Makefile b/tools/Makefile
index 5c07cec0eaf51ee4421712f60bdbfd3fc21a3dcd..a16b667964e49d2924b4c5a606598518e7575821 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -10,8 +10,11 @@ prefix=$(HOME)
 bin=$(prefix)/bin
 # dest=
 
-PROGRAMS=mailsplit mailinfo
-SCRIPTS=applymbox applypatch
+PROGRAMS=git-mailsplit git-mailinfo
+SCRIPTS=git-applymbox git-applypatch
+
+git-%: %.c
+       $(CC) $(CFLAGS) -o $@ $(filter %.c,$^)
 
 all: $(PROGRAMS)
 

diff --git a/tools/applymbox b/tools/git-applymbox
similarity index 100%
rename from tools/applymbox
rename to tools/git-applymbox

diff --git a/tools/applypatch b/tools/git-applypatch
similarity index 100%
rename from tools/applypatch
rename to tools/git-applypatch