debian-cd-clone/tools/sarge/installtools.sh

#!/bin/bash

# Install files in /install and some in /doc
set -e

# The location of the tree for CD#1, passed in
DIR=$1

DOCDIR=doc

if [ -n "$BOOTDISKS" -a -e $BOOTDISKS/current/$DOCDIR ] ; then
        DOCS=$BOOTDISKS/current/$DOCDIR
else
        echo "WARNING: Using sid bootdisk documentation"
        DOCS=$MIRROR/dists/sid/main/installer-$ARCH/current/$DOCDIR
fi

# Put the install documentation in /doc/install
if [ ! -d $DOCS ]; then
    echo "ERROR: Unable to copy installer documentation to CD."
    exit
fi
cd $DOCS
mkdir -p $DIR/$DOCDIR/install
if ! cp -a * $DIR/$DOCDIR/install; then
    echo "ERROR: Unable to copy installer documentation to CD."
fi