[gtkmm] tools/gen_scripts/*_generate_docs.sh: Skip non-existent directories

[Kjell Ahlstedt <kjellahl src gnome org>]

commit f235cc08827eb9e89db27415a64d15bea2e23f47
Author: Kjell Ahlstedt <kjell ahlstedt bredband net>
Date:   Fri Nov 18 16:18:45 2016 +0100

    tools/gen_scripts/*_generate_docs.sh: Skip non-existent directories

 tools/gen_scripts/gdk_generate_docs.sh |    4 +++-
 tools/gen_scripts/gtk_generate_docs.sh |    4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/tools/gen_scripts/gdk_generate_docs.sh b/tools/gen_scripts/gdk_generate_docs.sh
index 37d55d4..d1f0f6a 100755
--- a/tools/gen_scripts/gdk_generate_docs.sh
+++ b/tools/gen_scripts/gdk_generate_docs.sh
@@ -15,7 +15,9 @@ OUT_DIR="$ROOT_DIR/gdk/src"
 
 PARAMS="--with-properties --no-recursion"
 for dir in "$PREFIX"/gtk+/{gdk,gdk/deprecated} "$PREFIX"/gdk-pixbuf/gdk-pixbuf; do
-  PARAMS="$PARAMS -s $dir"
+  if [ -d "$dir" ]; then
+    PARAMS="$PARAMS -s $dir"
+  fi
 done
 
 DOCEXTRACT_TO_XML_PY="$JHBUILD_SOURCES/glibmm/tools/defs_gen/docextract_to_xml.py"
diff --git a/tools/gen_scripts/gtk_generate_docs.sh b/tools/gen_scripts/gtk_generate_docs.sh
index 712a71c..0dd840e 100755
--- a/tools/gen_scripts/gtk_generate_docs.sh
+++ b/tools/gen_scripts/gtk_generate_docs.sh
@@ -15,7 +15,9 @@ OUT_DIR="$ROOT_DIR/gtk/src"
 
 PARAMS="--with-properties --no-recursion"
 for dir in "$PREFIX"/gtk+/{gtk,gtk/deprecated}; do
-  PARAMS="$PARAMS -s $dir"
+  if [ -d "$dir" ]; then
+    PARAMS="$PARAMS -s $dir"
+  fi
 done
 
 DOCEXTRACT_TO_XML_PY="$JHBUILD_SOURCES/glibmm/tools/defs_gen/docextract_to_xml.py"