doc: Regenerate board doc if supported hardware data changes

Declare the dts and binding files used for the supported hardware
directive as dependencies of doc pages that use them.

Signed-off-by: Aksel Skauge Mellbye <[email protected]>

Author: asmellby

doc/_extensions/zephyr/domain/__init__.py

@@ -998,6 +998,12 @@ def create_count_indicator(nodes_list, class_type, role_function=role_fn):
 
                     tbody += row
 
+                    # Declare the dts and binding files as dependencies of the board doc page,
+                    # ensuring that the page is rerendered if the files change.
+                    for node in okay_nodes + disabled_nodes:
+                        env.note_dependency(node["dts_path"])
+                        env.note_dependency(node["binding_path"])
+
             tgroup += tbody
             table += tgroup
             tables_container += table

doc/_scripts/gen_boards_catalog.py

@@ -309,7 +309,12 @@ def get_catalog(generate_hw_features=False):
                         node.matching_compat
                     )
 
-                    node_info = {"filename": str(filename), "lineno": lineno}
+                    node_info = {
+                        "filename": str(filename),
+                        "lineno": lineno,
+                        "dts_path": Path(node.filename),
+                        "binding_path": Path(node.binding_path),
+                    }
                     node_list_key = "okay_nodes" if node.status == "okay" else "disabled_nodes"
 
                     if existing_feature: