diff -r 0b0769e5a2ab -r 4b8cba298bf3 tools/Makefile
--- a/tools/Makefile	Sun Jul 15 08:37:22 2007 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-# Makefile for the tools/ sub-directory
-
-# Here, we can update the config.* scripts.
-# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
-# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
-# scripts are downloaded only for use in CT_TOP_DIR.
-
-CONFIG_SUB_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.sub"
-CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
-CONFIG_GUESS_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.guess"
-CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
-
-$(CT_TOP_DIR)/tools:
-	@mkdir -p $(CT_TOP_DIR)/tools
-
-PHONY += updatetools
-updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
-
-$(CONFIG_SUB_DEST):
-	@wget $(CONFIG_SUB_SRC) -O $@
-	@chmod u+rwx,go+rx-w $@
-
-$(CONFIG_GUESS_DEST):
-	@wget $(CONFIG_GUESS_SRC) -O $@
-	@chmod u+rwx,go+rx-w $@
-
-help-distrib::
-	@echo  '  updatetools    - Update the config tools'
-
-distclean::
-	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools