mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Categorize "duplicate citation" warnings.
This commit is contained in:
parent
1123c3bda6
commit
ff7b9518ba
@ -571,7 +571,7 @@ class StandardDomain(Domain):
|
||||
if label in self.data['citations']:
|
||||
path = env.doc2path(self.data['citations'][label][0])
|
||||
logger.warning('duplicate citation %s, other instance in %s', label, path,
|
||||
location=node)
|
||||
location=node, type='ref', subtype='citation')
|
||||
self.data['citations'][label] = (docname, node['ids'][0])
|
||||
|
||||
def note_labels(self, env, docname, document):
|
||||
|
Loading…
Reference in New Issue
Block a user