[gnome-color-manager] Remove gcm-dump-profile, it's no longer used

[Richard Hughes <rhughes src gnome org>]

commit da2f2728d62339abdec640b6ea04781dc4cbebaa
Author: Richard Hughes <richard hughsie com>
Date:   Tue Jan 1 22:13:17 2013 +0000

    Remove gcm-dump-profile, it's no longer used

 Makefile.am              |    3 +-
 configure.ac             |    1 -
 tools/.gitignore         |   12 ----
 tools/Makefile.am        |   48 ---------------
 tools/gcm-dump-profile.c |  149 ----------------------------------------------
 5 files changed, 1 insertions(+), 212 deletions(-)
---
diff --git a/Makefile.am b/Makefile.am
index cb774eb..8977b8d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -3,8 +3,7 @@ SUBDIRS =						\
 	data						\
 	help						\
 	man						\
-	po						\
-	tools
+	po
 
 snapshot:
 	$(MAKE) dist distdir=$(PACKAGE)-$(VERSION)-`date +"%Y%m%d"`
diff --git a/configure.ac b/configure.ac
index 50455ae..ef2f861 100644
--- a/configure.ac
+++ b/configure.ac
@@ -226,7 +226,6 @@ help/Makefile
 man/Makefile
 po/Makefile.in
 src/Makefile
-tools/Makefile
 ])
 AC_OUTPUT