Fix build_docu.jl

ufechner7 · ufechner7 · commit 5dafe5d07f1e · 2026-04-18T19:09:38.000+02:00
diff --git a/scripts/build_docu.jl b/scripts/build_docu.jl
@@ -2,6 +2,5 @@
 # run with: julia --project=docs scripts/build_docu.jl
 
 using Pkg
-Pkg.develop(path=dirname(@__DIR__))
-Pkg.instantiate()
+Pkg.activate(joinpath(@__DIR__, "..", "docs"))
 using LiveServer; servedocs(launch_browser=true)
