diff --git a/tools/Makefile.in b/tools/Makefile.in
index a5050b4ef032489e48668087b9fb9f56d5f557d7..c4b707a0ed14e00267d4d6cea1af9854427de8f0 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -59,8 +59,13 @@ check:
 	true
 
 install: $(TARGETS)
-	$(INSTALL) -d $(bindir)
-	$(INSTALL_PROGRAM) $(TARGETS) $(bindir)
+	$(INSTALL) -d $(DESTDIR)$(bindir)
+	$(INSTALL_PROGRAM) $(TARGETS) $(DESTDIR)$(bindir)
+
+uninstall:
+	for f in $(TARGETS) ; do \
+	  rm -f $(DESTDIR)$(bindir)/$$f ; \
+	done
 
 distdir: $(DISTFILES)
 	cp $^ $(distdir)