Add forgotten arguments

encukou · encukou · commit e57a37e71668 · 2025-01-22T16:57:49.000+01:00
diff --git a/Doc/tools/extensions/grammar_snippet.py b/Doc/tools/extensions/grammar_snippet.py
@@ -65,7 +65,7 @@ def make_grammar_snippet(self, options, content):
                 }
                 match groupdict:
                     case {'rule_name': name}:
-                        literal += self.make_link_to_token()
+                        literal += self.make_link_to_token(group_name, name)
                     case {'rule_ref': name}:
                         ref_node = addnodes.pending_xref(
                             name,

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ def make_grammar_snippet(self, options, content):`
`65`	`65`	`}`
`66`	`66`	`match groupdict:`
`67`	`67`	`case {'rule_name': name}:`
`68`		`- literal += self.make_link_to_token()`
	`68`	`+ literal += self.make_link_to_token(group_name, name)`
`69`	`69`	`case {'rule_ref': name}:`
`70`	`70`	`ref_node = addnodes.pending_xref(`
`71`	`71`	`name,`