Merge branch 'main' into release/1.2

RobPasMue · RobPasMue · commit 2404b789033c · 2023-10-04T12:47:25.000+02:00
diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -109,3 +109,6 @@
 
 # Copying README images
 shutil.copytree("../../images", "images", dirs_exist_ok=True)
+
+# Ignore anchors
+linkcheck_anchors = False
