sphinxcontent: Add SphinxContent.label_scope()

1 files changed, 7 insertions, 0 deletions

diff --git a/rtemsspec/sphinxcontent.py b/rtemsspec/sphinxcontent.py
index c47ea68e..12497ccc 100644
--- a/rtemsspec/sphinxcontent.py
+++ b/rtemsspec/sphinxcontent.py
@@ -113,6 +113,13 @@ class SphinxContent(Content):
         """ Pops the top from the label stack. """
         self._label_stack.pop()
 
+    @contextmanager
+    def label_scope(self, label: str) -> Iterator[None]:
+        """ Opens a label scope context. """
+        self.push_label(label)
+        yield
+        self.pop_label()
+
     def add_label(self, label: str) -> None:
         """ Adds a label. """
         self.add(".. _" + label.strip() + ":")