diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-04-08 22:46:03 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-04-09 01:56:13 +0900 |
| commit | a5dadeb890beca64bb9eabe86e6634c9dd3e1d50 (patch) | |
| tree | 43a28198f9e09bdd809812b751111cbae5c61ca3 /sphinx/domains | |
| parent | 4caa7d7c379025052da8774a648dccf29426d5f0 (diff) | |
| download | sphinx-git-a5dadeb890beca64bb9eabe86e6634c9dd3e1d50.tar.gz | |
Fix #7418: std domain: duplication warning for glossary terms is case insensitive
Diffstat (limited to 'sphinx/domains')
| -rw-r--r-- | sphinx/domains/std.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/domains/std.py b/sphinx/domains/std.py index d820cfe5c..52546fb4c 100644 --- a/sphinx/domains/std.py +++ b/sphinx/domains/std.py @@ -305,7 +305,7 @@ def make_glossary_term(env: "BuildEnvironment", textnodes: Iterable[Node], index term['ids'].append(node_id) std = cast(StandardDomain, env.get_domain('std')) - std.note_object('term', termtext.lower(), node_id, location=term) + std.note_object('term', termtext, node_id, location=term) # add an index entry too indexnode = addnodes.index() @@ -565,7 +565,7 @@ class StandardDomain(Domain): # links to tokens in grammar productions 'token': TokenXRefRole(), # links to terms in glossary - 'term': XRefRole(lowercase=True, innernodeclass=nodes.inline, + 'term': XRefRole(innernodeclass=nodes.inline, warn_dangling=True), # links to headings or arbitrary labels 'ref': XRefRole(lowercase=True, innernodeclass=nodes.inline, |