gitops/patroni
1
0
Fork 0
mirror of https://github.com/outbackdingo/patroni.git synced 2026-08-25 14:53:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ensure sphinx doc attributes are available before trying to access them (#3156)

Browse Source 
Very old versions of sphinx (e.g. as shipped in Ubuntu 20.04 LTS) might not have them.

Close #3155
This commit is contained in:
Michael Banck
2024-09-12 10:08:05 +02:00
committed by GitHub
parent b3ae8652c9
commit 4c951a2937
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/conf.py
+6 -4
View File
@@ -289,13 +289,15 @@ def env_get_outdated(app, env, added, changed, removed):
Remove the items listed in `docs_to_remove` from known pages.
"""
to_remove = set()
for doc in env.found_docs:
if _to_be_removed(doc):
to_remove.add(doc)
if hasattr(env, 'found_docs'):
for doc in env.found_docs:
if _to_be_removed(doc):
to_remove.add(doc)
added.difference_update(to_remove)
changed.difference_update(to_remove)
removed.update(to_remove)
env.project.docnames.difference_update(to_remove)
if hasattr(env, 'project'):
env.project.docnames.difference_update(to_remove)
return []