From a25b3b232ebd4fb28901c85b4d100e40edda2f4d Mon Sep 17 00:00:00 2001 From: Polina Bungina <27892524+hughcapet@users.noreply.github.com> Date: Fri, 5 Apr 2024 15:08:33 +0200 Subject: [PATCH] debug 2 --- docs/conf.py | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 2752fc6a65..72d1796efa 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -276,19 +276,20 @@ def env_get_outdated(app, env, added, changed, removed): Remove the items listed in `docs_to_remove` from known pages. """ - for doc in list(added): - print('reading added:') - print(added) + to_remove = set() + print('reading env.found_docs') + print(env.found_docs) + for doc in env.found_docs: if _to_be_removed(doc): - added.remove(doc) - removed.add(doc) - for doc in list(changed): - print('reading changed:') - print(changed) - if _to_be_removed(doc): - changed.remove(doc) - removed.add(doc) - print('reading removed:') + to_remove.add(doc) + added.difference_update(to_remove) + changed.difference_update(to_remove) + removed.update(to_remove) + print('reading added') + print(added) + print('reading changed') + print(changed) + print('reading removed') print(removed) return []