From 83b25ffb883adc54592032e1726dcb9efe497d90 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@debian.org>
Date: Sun, 27 Jun 2004 22:48:19 +0000
Subject: [PATCH] Missing b-f documentation is not a fatal error.  Keep
 building if it is missing.

---
 debian/changelog            | 2 ++
 tools/woody/installtools.sh | 5 ++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index dc474fbe..e7871944 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -54,6 +54,8 @@ debian-cd (2.2.18) UNRELEASED; urgency=low
         kernel-source-2.2.20, timidity-patches, tcl8.2 and tk8.2.
     - Update list2cds to allow #-comments in the exclude file.
     - Try to create $(OUT) instead of just bailing out if it is missing.
+    - Missing b-f documentation is not a fatal error.  Keep
+      building if it is missing.
   * Stephen R. Marenka
     - Update m68k support for sarge.
         - Fix m68k/amiga icons.
diff --git a/tools/woody/installtools.sh b/tools/woody/installtools.sh
index 0bcb259d..290b5191 100755
--- a/tools/woody/installtools.sh
+++ b/tools/woody/installtools.sh
@@ -14,9 +14,12 @@ DOCDIR=doc
 
 if [ -e $BOOTDISKS/current/$DOCDIR ] ; then
         DOCS=$BOOTDISKS/current/$DOCDIR
-else
+elif [ -e $MIRROR/dists/potato/main/disks-$ARCH/current/$DOCDIR ] ; then
         echo "Using potato bootdisk documentation"
         DOCS=$MIRROR/dists/potato/main/disks-$ARCH/current/$DOCDIR
+else
+	echo "Unable to find any documentation"
+	exit 0
 fi