Merge branch 'master' into sh_merge_master3

This commit is contained in:
Ralf W. Grosse-Kunstleve
2023-02-07 23:54:04 -08:00
18 changed files with 77 additions and 49 deletions

View File

@@ -358,7 +358,6 @@ def clean_up(app, exception):
def setup(app):
# Add hook for building doxygen xml when needed
app.connect("builder-inited", generate_doxygen_xml)