docs: remove target from deploydocs in make

bancaditalia · May 22, 2024 · 822863d · 822863d
1 parent 865d1be
commit 822863d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -47,4 +47,4 @@ makedocs(
     ],
 )
 
-deploydocs(;repo = "github.com/bancaditalia/BeforeIT.jl.git", devbranch = "main", target = "gh-pages")
+deploydocs(;repo = "github.com/bancaditalia/BeforeIT.jl.git", devbranch = "main")