File tree Expand file tree Collapse file tree 2 files changed +5
-17
lines changed
Expand file tree Collapse file tree 2 files changed +5
-17
lines changed Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ TrixiBase = "9a0f1c46-06d5-4909-a5a3-ce25d3fa3284"
2323CairoMakie = " 0.12, 0.13"
2424Changelog = " 1.1"
2525Convex = " 0.16"
26- Documenter = " 1"
26+ Documenter = " 1.11 "
2727ECOS = " 1.1.2"
2828ForwardDiff = " 0.10"
2929HOHQMesh = " 0.1, 0.2"
Original file line number Diff line number Diff line change @@ -178,19 +178,7 @@ makedocs(
178178 " License" => " license.md"
179179 ])
180180
181- # Replace with below once https://github.com/JuliaDocs/Documenter.jl/pull/2692 is merged and available.
182- # deploydocs(repo = "github.com/trixi-framework/Trixi.jl",
183- # deploy_repo = "github.com/trixi-framework/TrixiDocumentation",
184- # devbranch = "main",
185- # push_preview = true)
186- if get (ENV , " GITHUB_EVENT_NAME" , " " ) == " pull_request"
187- deploydocs (repo = " github.com/trixi-framework/Trixi.jl" ,
188- repo_previews = " github.com/trixi-framework/TrixiDocumentation" ,
189- devbranch = " main" ,
190- push_preview = true )
191- else
192- repo = " github.com/trixi-framework/TrixiDocumentation"
193- withenv (" GITHUB_REPOSITORY" => repo) do
194- deploydocs (repo = repo, devbranch = " main" )
195- end
196- end
181+ deploydocs (repo = " github.com/trixi-framework/Trixi.jl" ,
182+ deploy_repo = " github.com/trixi-framework/TrixiDocumentation" ,
183+ devbranch = " main" ,
184+ push_preview = true )
You can’t perform that action at this time.
0 commit comments