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