From b126755682b5030b841e6c86c5d91376a09b0db2 Mon Sep 17 00:00:00 2001 From: yuhan Date: Mon, 28 Jul 2025 16:54:23 +0800 Subject: [PATCH] modify anchor config --- resource/sphinx_ext/nodes.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resource/sphinx_ext/nodes.txt b/resource/sphinx_ext/nodes.txt index faafc34ef0..91b52c96e1 100644 --- a/resource/sphinx_ext/nodes.txt +++ b/resource/sphinx_ext/nodes.txt @@ -1277,7 +1277,7 @@ def short_title(titlename): titlename = titlename.replace(j, '') for k in spec_symbol: titlename = titlename.replace(k, ' ') - titlename = titlename.replace(' ', ' ').replace(' ', '-').replace('"', '') + titlename = titlename.replace(' ', ' ').replace(' ', '-').replace('"', '').replace("'", "") return titlename @@ -1456,7 +1456,7 @@ class document(Root, Structural, Element): origin_id = origin_id.replace(s,'-') for s in empty_symbol: origin_id = origin_id.replace(s,'') - node['ids'].append(origin_id.replace('\"','').replace(" ","-").replace("--","-")) + node['ids'].append(origin_id.replace('\"','').replace(" ","-").replace("--","-").replace("==","").replace("!=","").replace("'","")) else: node['ids'].append(id) self.ids[id] = node -- Gitee