don't fail fi the doc directory is not yet present

(will be after upcoming mirror push)
2003-12-24 20:14:55 +00:00 · 2003-12-24 20:14:55 +00:00 · 79fd1bc1c1
parent d883d67047
commit 79fd1bc1c1
1 changed files with 4 additions and 0 deletions
--- a/tools/sarge/installtools.sh
+++ b/tools/sarge/installtools.sh
@ -16,6 +16,10 @@ else
 fi

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