From 448336105d92d93f58355b83c31698f46401ae7d Mon Sep 17 00:00:00 2001 From: Antonio Rojas Date: Wed, 24 May 2023 00:46:08 +0200 Subject: [PATCH] Fix building the Singular docstring dictionaty when Singular info 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. --- src/sage/interfaces/singular.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sage/interfaces/singular.py b/src/sage/interfaces/singular.py index b79e08c44f9..91a4abd7713 100644 --- a/src/sage/interfaces/singular.py +++ b/src/sage/interfaces/singular.py @@ -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