diff options
Diffstat (limited to 'sphinx/domains/std.py')
| -rw-r--r-- | sphinx/domains/std.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sphinx/domains/std.py b/sphinx/domains/std.py index 6218de6ab..68cab115c 100644 --- a/sphinx/domains/std.py +++ b/sphinx/domains/std.py @@ -493,12 +493,12 @@ class ProductionList(SphinxDirective): lines = nl_escape_re.sub('', self.arguments[0]).split('\n') productionGroup = "" - i = 0 + first_rule_seen = False for rule in lines: - if i == 0 and ':' not in rule: + if not first_rule_seen and ':' not in rule: productionGroup = rule.strip() continue - i += 1 + first_rule_seen = True try: name, tokens = rule.split(':', 1) except ValueError: |