Deploy docs

zjwegert · May 15, 2024 · 78474ca · 78474ca
1 parent 361dff6
commit 78474ca
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -7,10 +7,10 @@ using GridapTopOpt
 
 makedocs(
     sitename = "GridapTopOpt.jl",
-    format = Documenter.HTML(
-      prettyurls = false,
-      # collapselevel = 1,
-    ),
+    # format = Documenter.HTML(
+    #   prettyurls = false,
+    #   # collapselevel = 1,
+    # ),
     modules = [GridapTopOpt],
     pages = [
       "Home" => "index.md",
@@ -30,6 +30,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/zjwegert/GridapTopOpt.jl.git",
+)
diff --git a/docs/src/reference/optimisers.md b/docs/src/reference/optimisers.md
@@ -27,7 +27,7 @@ GridapTopOpt.OptimiserHistory
 GridapTopOpt.OptimiserHistorySlice
 ```
 
-## Custom `Optimiser`
+## Custom optimiser
 ```@docs
 GridapTopOpt.Optimiser
 GridapTopOpt.iterate(::GridapTopOpt.Optimiser)