Merge pull request #6 from subnyquist/node-name-in-heading

Use RDL name as heading if it is set

Author: amykyta3

src/sphinx_peakrdl/directives/docnode.py

@@ -200,8 +200,7 @@ def make_rdl_node_doc(self, rdl_node: Node) -> Sequence[nodes.Element]:
             ref_id = rdl_node.get_path(array_suffix="", empty_array_suffix="")
             heading = nodes.section()
             heading.attributes["ids"] = [ref_id]
-            # TODO: Include RDL name in title if it was set.
-            heading.append(nodes.title(text=rdl_node.inst_name))
+            heading.append(nodes.title(text=rdl_node.get_property("name")))
             heading.extend(doc_nodes)
             doc_nodes = [heading]