Re-add deploydocs command.

RomeoV · May 25, 2024 · 33397ab · 33397ab
1 parent 3001938
commit 33397ab
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -18,6 +18,6 @@ makedocs(
 # Documenter can also automatically deploy documentation to gh-pages.
 # See "Hosting Documentation" and deploydocs() in the Documenter manual
 # for more information.
-# #=deploydocs(
-#     repo = "<repository url>"
-# )=#
+deploydocs(
+    repo = "github.com/RomeoV/ProbabilisticParameterEstimators.jl.git";
+)