From 6d4b035f2cf2d5ee9d1e7c6def9b802d74ed6d6b Mon Sep 17 00:00:00 2001
From: Wido den Hollander <wido@widodh.nl>
Date: Fri, 12 Apr 2013 13:50:08 +0200
Subject: [PATCH] tools: A small fix for the script to build the docs with

---
 tools/build/build_docs.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/build/build_docs.sh b/tools/build/build_docs.sh
index 8bb63e30e87..c1b1f1389fd 100755
--- a/tools/build/build_docs.sh
+++ b/tools/build/build_docs.sh
@@ -48,6 +48,11 @@ if [ ! -x "$publican_path" ]; then
     exit 1
 fi
 
+if [ ! -d "$sourcedir/docs" ]; then
+    echo "$sourcedir/docs doesn't seem to exist? Maybe set -s?"
+    exit 1
+fi
+
 cd $sourcedir/docs
 cp -R /usr/share/publican/Common_Content .
 ln -s $sourcedir/docs/publican-cloudstack Common_Content/cloudstack