From cf916bc2947978f0062660eef13e51dce5c018e5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Fri, 30 Aug 2019 20:36:10 +0200 Subject: [PATCH] m.sphinx: ignore duplicate entries in intersphinx inventories. The "index" is the main offender. --- plugins/m/sphinx.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plugins/m/sphinx.py b/plugins/m/sphinx.py index cc10d721..0354b773 100755 --- a/plugins/m/sphinx.py +++ b/plugins/m/sphinx.py @@ -518,7 +518,9 @@ def merge_inventories(name_map, **kwargs): for type_, data_internal in internal_inventory.items(): data = intersphinx_inventory.setdefault(type_, {}) for path, value in data_internal.items(): - assert path not in data + # Ignore duplicate things (such as `index` etc.) + # TODO: solve better + if path in data: continue data[path] = value # Save the internal inventory, if requested. Again basically a copy of -- 2.30.2