diff --git a/docs/make.jl b/docs/make.jl index 8dc00e6..905b84b 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -31,5 +31,5 @@ makedocs(; ], ) -deploydocs(; repo = "github.com/ZIB-IOL/AbsSmoothFrankWolfe.jl", devbranch="main", push_preview=true) +deploydocs(; repo = "github.com/ZIB-IOL/AbsSmoothFrankWolfe.jl.git", devbranch="main", push_preview=true)