Stop copying the /tools/ directory on from the mirror; it's going away

etch/data/etch/README.html.in

@@ -373,18 +373,6 @@ Installing
  <A href="http://www.debian.org/releases/etch/installmanual">the Debian web site</a>.
 #endif
  <P>
- Programs and other files that are needed for the installation can be found on
- this disc under
- <P>
- <tt>&nbsp;
- <A href=%%""tools/%%"">/tools/</a>
- </tt>
-#if ARCHi386
- and
- <tt>&nbsp;
- <A href=%%""install/floppy/%%"">/install/floppy/</a>
- </tt>
-#endif
 
 #if ARCHi386 || ARCHamd64 || ARCHia64 || ARCHalpha || ARCHpowerpc || ARCHsparc
   <P>

etch/tools/start_new_disc

@@ -109,18 +109,12 @@ if [ $SOURCEDISK = 1 ] ; then
 fi
 
 if [ $DISKNUM = 1 ] ; then
-	if [ ! -e $MIRROR/tools ] || [ ! -e $MIRROR/doc ] ; then
-		echo "You need a Debian mirror with the doc, tools and"
+	if [ ! -e $MIRROR/doc ] ; then
+		echo "You need a Debian mirror with the doc and"
         echo "indices directories ! "
         exit 1
 	fi
 		
-	# Add install stuff
-	if [ "$SOURCEONLY"x != "yes"x ] ; then
-		echo "  Adding tools to CD1"
-		$BASEDIR/tools/add_files $CDDIR $MIRROR tools
-	fi
-
 	echo "  Adding .disk/base_components"
 	echo "main" > $CDDIR/.disk/base_components
 	if [ -n "$LOCAL" ] ; then