message: generate_doc.sh: Prompting repeatedly to clean build & install directory is annoying. Resolving it.
diff: @@ -23,14 +23,11 @@ install_prefix="$source_dir/install"
  if [ "$skip_checks" = false ]; then
  # We need to do a clean build, otherwise the INSTALL_PREFIX has no effect.
  - if [ -e $source_dir/build/ ]; then
  - echo "Build directory ($install_prefix) already exists, you should do 'make clean' first."
  - exit 1
  - fi
  -
  # Check for leftover install artefacts.
  - if [ -e $install_prefix ]; then
  - echo "Install directory ($install_prefix) already exists, you should delete it up first."
  + if [ -e $source_dir/build/ ] || [ -e $install_prefix ] ; then
  + echo "Either your Build/Install directory ($install_prefix) already exists, Lets clean it for you. Re-run now!"
  + rm -rf $install_prefix
  + make clean
  exit 1
  fi
  fi
  