[gtkmm] Add tools/gen_scripts/generate_docs_and_defs.sh

[Kjell Ahlstedt <kjellahl src gnome org>]

commit f4c8e652ba682da5415d2af3c08bb63f6f653cbe
Author: Kjell Ahlstedt <kjellahlstedt gmail com>
Date:   Mon Jun 18 15:43:44 2018 +0200

    Add tools/gen_scripts/generate_docs_and_defs.sh

 tools/gen_scripts/generate_docs_and_defs.sh | 50 +++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
---
diff --git a/tools/gen_scripts/generate_docs_and_defs.sh b/tools/gen_scripts/generate_docs_and_defs.sh
new file mode 100755
index 00000000..3294ce74
--- /dev/null
+++ b/tools/gen_scripts/generate_docs_and_defs.sh
@@ -0,0 +1,50 @@
+#!/bin/bash
+
+# Generate all docs.xml and .defs files, either for gdk or gtk or (default) both.
+# This script shall be executed from the tools/gen_scripts directory.
+
+if [ $# -eq 0 ]
+then
+  GENERATE_GDK_FILES="yes"
+  GENERATE_GTK_FILES="yes"
+elif [ "$1" = "--gdk" ]
+then
+  GENERATE_GDK_FILES="yes"
+  GENERATE_GTK_FILES="no"
+elif [ "$1" = "--gtk" ]
+then
+  GENERATE_GDK_FILES="no"
+  GENERATE_GTK_FILES="yes"
+else
+  echo "Usage: $0 [[--gdk | --gtk]]"
+  exit 1
+fi
+
+if [ "$GENERATE_GDK_FILES" = "yes" ]
+then
+  echo === ./gdk_generate_docs.sh ===
+  ./gdk_generate_docs.sh
+  echo === ./gdk_generate_enums.sh ===
+  ./gdk_generate_enums.sh
+  echo === ./gdk_generate_extra_defs.sh ===
+  ./gdk_generate_extra_defs.sh
+  echo === ./gdk_generate_methods.sh ===
+  ./gdk_generate_methods.sh
+fi
+
+if [ "$GENERATE_GTK_FILES" = "yes" ]
+then
+  if [ "$GENERATE_GDK_FILES" = "yes" ]
+  then
+    echo
+  fi
+
+  echo === ./gtk_generate_docs.sh ===
+  ./gtk_generate_docs.sh
+  echo === ./gtk_generate_enums.sh ===
+  ./gtk_generate_enums.sh
+  echo === ./gtk_generate_extra_defs.sh ===
+  ./gtk_generate_extra_defs.sh
+  echo === ./gtk_generate_methods.sh ===
+  ./gtk_generate_methods.sh
+fi