diff --git a/docs b/docs
index 0245fa05..ac2716d8 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 0245fa05c2645235d7b01f06733047f31d44985a
+Subproject commit ac2716d8bc22ea634cb3519e17e92e32c5b94a00
diff --git a/scripts/docspregen.py b/scripts/docspregen.py
index 237f9d36..c4291cc0 100644
--- a/scripts/docspregen.py
+++ b/scripts/docspregen.py
@@ -625,6 +625,7 @@ def update_framework_docs():
 
 
 def update_boards():
+    print("Updating boards...")
     lines = []
 
     lines.append(RST_COPYRIGHT)