[PATCH] Install tools with "make install-tools".

diff --git a/Makefile b/Makefile
index 4575cf6727041c001c75688ef5a93fb6c4d449d0..d440f82967cbdd18b2045ee798f28a13821a096d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -195,12 +195,16 @@ test: all
 doc:
        $(MAKE) -C Documentation all
 
+install-tools:
+       $(MAKE) -C tools install
+
 install-doc:
        $(MAKE) -C Documentation install
 
 clean:
        rm -f *.o mozilla-sha1/*.o ppc/*.o $(PROG) $(LIB_FILE)
        rm -f git-core-*.tar.gz git-core.spec
+       $(MAKE) -C tools/ clean
        $(MAKE) -C Documentation/ clean
 
 backup: clean