diff --git a/docs b/docs
index d88897c2..61b47154 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit d88897c2384b767b83a6470115884d7635772819
+Subproject commit 61b4715449ef06213af496219a691fe57bcfa996
diff --git a/examples b/examples
index a71564ab..6859117a 160000
--- a/examples
+++ b/examples
@@ -1 +1 @@
-Subproject commit a71564ab46d27c387f17814056b659f826b7db24
+Subproject commit 6859117a8c0b5d293a00e29b339250d0587f31de
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index 0a3cf437..dc18c5a7 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -330,7 +330,8 @@ Examples are listed from `%s development platform repository <%s>`_:
     examples_dir = join(p.get_dir(), "examples")
     if isdir(examples_dir):
         for eitem in os.listdir(examples_dir):
-            if not isdir(join(examples_dir, eitem)):
+            example_dir = join(examples_dir, eitem)
+            if not isdir(example_dir) or not os.listdir(example_dir):
                 continue
             url = "%s/tree/master/examples/%s" % (github_url, eitem)
             lines.append("* `%s <%s>`_" % (eitem, campaign_url(url)))
@@ -894,7 +895,8 @@ def update_project_examples():
         examples_md_lines = []
         if isdir(platform_examples_dir):
             for item in os.listdir(platform_examples_dir):
-                if not isdir(join(platform_examples_dir, item)):
+                example_dir = join(platform_examples_dir, item)
+                if not isdir(example_dir) or not os.listdir(example_dir):
                     continue
                 url = "%s/tree/master/examples/%s" % (github_url, item)
                 examples_md_lines.append("* [%s](%s)" % (item, url))