diff --git a/etch/data/etch/README.html.in b/etch/data/etch/README.html.in index 8a4594a0..f8a148e6 100644 --- a/etch/data/etch/README.html.in +++ b/etch/data/etch/README.html.in @@ -373,18 +373,6 @@ Installing the Debian web site. #endif

- Programs and other files that are needed for the installation can be found on - this disc under -

-   - /tools/ - -#if ARCHi386 - and -   - /install/floppy/ - -#endif #if ARCHi386 || ARCHamd64 || ARCHia64 || ARCHalpha || ARCHpowerpc || ARCHsparc

diff --git a/etch/tools/start_new_disc b/etch/tools/start_new_disc index a5e0779f..48f088e1 100755 --- a/etch/tools/start_new_disc +++ b/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