IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #3609 from kalekundert/feature-ref-citation-master

Browse Source 
Categorize "duplicate citation" warnings (on master branch).
This commit is contained in:
Takeshi KOMIYA 2017-04-07 10:38:58 +09:00 committed by GitHub
commit 1b5339685a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/domains/std.py
View File

@ -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):