Skip to content

Commit

Permalink
gh-35678: Fix building the Singular docstring dict when Singular info…
Browse files Browse the repository at this point in the history
… is built with recent texinfo

    
When building the Singular info with recent texinfo, sections are
numbered using capital letters instead of numbers. This breaks the
current matching logic.
    
URL: #35678
Reported by: Antonio Rojas
Reviewer(s): Matthias Köppe
  • Loading branch information
Release Manager committed Jun 3, 2023
2 parents eca1c9e + 4483361 commit 6be8082
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/sage/interfaces/singular.py
Original file line number Diff line number Diff line change
Expand Up @@ -2405,7 +2405,7 @@ def generate_docstring_dictionary():
a, b = m.groups()
node_names[a] = b.strip()

if line == "6 Index\n":
if line in ("6 Index\n", "F Index\n"):
in_node = False

nodes[curr_node] = "".join(L) # last node
Expand Down

0 comments on commit 6be8082

Please sign in to comment.