From 25be5c9c1c013c90c3da7918438024b13c8eac87 Mon Sep 17 00:00:00 2001
From: MichaelSchloesser <heinz.michael.schloesser@rwth-aachen.de>
Date: Fri, 24 Nov 2023 14:16:45 +0100
Subject: [PATCH] uncommented deploydocs

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)