[no ci] docs: fix path for local extensions

Author: vpratz

docsrc/pre-build.py

@@ -65,6 +65,7 @@ def patch_conf(sourcedir):
         "_static/bayesflow_hor_dark.png",
         "_static/bayesflow_hor.png",
         "_static/custom.css",
+        "sphinxext/override_pst_pagetoc.py",
     ]
     for path in copy_rel_paths:
         srcfile = cursrc / path

docsrc/source/conf.py

@@ -26,7 +26,7 @@
     current = "local"
 
 sys.path.insert(0, os.path.abspath("../.."))
-sys.path.insert(0, os.path.abspath("../sphinxext"))
+sys.path.insert(0, os.path.abspath("sphinxext"))
 
 # might set copyright end to wrong year -> remove
 if "SOURCE_DATE_EPOCH" in os.environ: