diff --git a/resource/sphinx_ext/nodes.txt b/resource/sphinx_ext/nodes.txt index faafc34ef0affa1e1d32368a8d51a7a68ac824a0..91b52c96e10fa22b9c00ad810d675be18e2eba7c 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