comparison docs/make.jl @ 1489:7753fa972c74 update/julia_1.10

Update docs manifest to julia 1.10 and fix issues in make docs
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Fri, 29 Dec 2023 01:06:54 +0100
parents 5761f4060f2b
children 40dffe6e2ecb
comparison
equal deleted inserted replaced
1488:b5424462aae2 1489:7753fa972c74
7 using Sbplib.RegionIndices 7 using Sbplib.RegionIndices
8 using Sbplib.SbpOperators 8 using Sbplib.SbpOperators
9 using Sbplib.StaticDicts 9 using Sbplib.StaticDicts
10 10
11 sitename = "Sbplib.jl" 11 sitename = "Sbplib.jl"
12
13 remotes = nothing
14 edit_link = nothing
15 repolink = nothing
12 16
13 if "--prettyurls" ∈ ARGS 17 if "--prettyurls" ∈ ARGS
14 prettyurls = true 18 prettyurls = true
15 else 19 else
16 prettyurls = false 20 prettyurls = false
37 ], 41 ],
38 "doc_index.md", 42 "doc_index.md",
39 ] 43 ]
40 # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936 44 # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936
41 45
42 format=Documenter.HTML(;prettyurls) 46 format=Documenter.HTML(;prettyurls, edit_link, repolink)
43 makedocs(;sitename, pages, format, build) 47
48 makedocs(;sitename, pages, format, build, remotes)