diff -r 5f53834583c6 -r 29ebc048d33f tools/tools.mk
--- a/tools/tools.mk	Tue Dec 16 18:03:28 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,57 +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.
-
-# ----------------------------------------------------------
-# The tools help entry
-
-help-distrib::
-	@echo  '  updatetools        - Update the config tools'
-
-# ----------------------------------------------------------
-# Where to get tools from, and where to store them into
-# The tools are: config.guess and config.sub
-
-CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
-CONFIG_SUB_DEST=tools/config.sub
-CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
-CONFIG_GUESS_DEST=tools/config.guess
-
-# Kludge: we have a step that is called 'tools', and thus we can not define a
-# rule here that is named 'tools'. Naming it 'tools/' does not help either.
-# Thus, prepend the top directory to have a single rule description. This is
-# not as bad as it seems, because it is only refered to by teo rules in this
-# file, but still it is a kludge...
-$(CT_TOP_DIR)/tools:
-	$(SILENT)mkdir -p tools
-
-PHONY += updatetools
-updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
-
-# ----------------------------------------------------------
-# How to retrieve the tools
-
-wget_opt=-o /dev/null
-ifeq ($(strip $(V)),2)
-  wget_opt=
-endif
-
-$(CONFIG_SUB_DEST): .FORCE $(CT_TOP_DIR)/tools
-	@$(ECHO) '  WGET  $@'
-	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
-	$(SILENT)chmod u+rwx,go+rx-w $@
-
-$(CONFIG_GUESS_DEST): .FORCE $(CT_TOP_DIR)/tools
-	@$(ECHO) '  WGET  $@'
-	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
-	$(SILENT)chmod u+rwx,go+rx-w $@
-
-# ----------------------------------------------------------
-# Clean up the mess
-
-distclean::
-	@$(ECHO) "  CLEAN tools"
-	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools