diff --git a/docs/make.jl b/docs/make.jl index d22d379..0b83479 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -15,4 +15,4 @@ makedocs(; warnonly = true, ) -# deploydocs(; repo = "github.com/MichaelSchloesser/WeaklySeparatedCollections.jl", push_preview = true) +deploydocs(; repo = "github.com/MichaelSchloesser/WeaklySeparatedCollections.jl", push_preview = true)