diff options
Diffstat (limited to 'sphinx/domains/std.py')
| -rw-r--r-- | sphinx/domains/std.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/domains/std.py b/sphinx/domains/std.py index 7eaaa531d..39f67b54e 100644 --- a/sphinx/domains/std.py +++ b/sphinx/domains/std.py @@ -500,7 +500,8 @@ class ProductionList(SphinxDirective): except ValueError: break subnode = addnodes.production(rule) - subnode['tokenname'] = name.strip() + name = name.strip() + subnode['tokenname'] = name if subnode['tokenname']: prefix = 'grammar-token-%s' % productionGroup node_id = make_id(self.env, self.state.document, prefix, name) |