Re-add deploydocs command.

RomeoV · May 25, 2024 · fb5cb4e · fb5cb4e
1 parent 3001938
commit fb5cb4e
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 = Remotes.GitHub("RomeoV", "ProbabilisticParameterEstimators.jl");
+)