diff 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
line wrap: on
line diff
--- a/docs/make.jl	Fri Dec 29 01:06:36 2023 +0100
+++ b/docs/make.jl	Fri Dec 29 01:06:54 2023 +0100
@@ -10,6 +10,10 @@
 
 sitename = "Sbplib.jl"
 
+remotes = nothing
+edit_link = nothing
+repolink = nothing
+
 if "--prettyurls" ∈ ARGS
     prettyurls = true
 else
@@ -39,5 +43,6 @@
 ]
 # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936
 
-format=Documenter.HTML(;prettyurls)
-makedocs(;sitename, pages, format, build)
+format=Documenter.HTML(;prettyurls, edit_link, repolink)
+
+makedocs(;sitename, pages, format, build, remotes)