diff --git a/src/utils/docs.jl b/src/utils/docs.jl
index 2337cd195a80..7915d4ed141d 100644
--- a/src/utils/docs.jl
+++ b/src/utils/docs.jl
@@ -52,8 +52,9 @@ function doc_init(;path=mktempdir())
     # we dev all "our" packages with the paths from where they are currently
     # loaded
     pkglist = [AbstractAlgebra, Nemo, Hecke, Singular, GAP, Polymake]
-    Pkg.develop([PackageSpec(path=Base.pkgdir(pkg)) for pkg in pkglist])
-    Pkg.develop(path=oscardir)
+    paths = [PackageSpec(path=Base.pkgdir(pkg)) for pkg in pkglist]
+    push!(paths, PackageSpec(path=oscardir))
+    Pkg.develop(paths)
     Pkg.instantiate()
     Base.include(Main, joinpath(oscardir, "docs", "make_work.jl"))
   end