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

30 lines
735 B
Bash
Raw Normal View History

#!/bin/bash
# Install files in /install and some in /doc
set -e
# The location of the tree for CD#1, passed in
DIR=$1
if [ "$OMIT_MANUAL" != 1 ]; then
DOCDIR=doc
if [ -n "$BOOTDISKS" -a -e $BOOTDISKS/current/$DOCDIR ] ; then
DOCS=$BOOTDISKS/current/$DOCDIR
else
echo "WARNING: Using $DI_CODENAME bootdisk documentation"
DOCS=$MIRROR/dists/$DI_CODENAME/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
fi