Mercurial > repos > public > sbplib_julia
diff docs/make.jl @ 845:b4f542b4f2e4 feature/setup_documenter
Use two folders for local and webserver builds
author | Jonatan Werpers <jonatan@werpers.com> |
---|---|
date | Fri, 14 Jan 2022 11:56:18 +0100 |
parents | 23bce17a59cb |
children | 9ab2651ea00b |
line wrap: on
line diff
--- a/docs/make.jl Fri Jan 14 11:33:25 2022 +0100 +++ b/docs/make.jl Fri Jan 14 11:56:18 2022 +0100 @@ -16,6 +16,13 @@ prettyurls = false end +if "--build-dir" ∈ ARGS + i = findlast(==("--build-dir"), ARGS) + build = ARGS[i+1] +else + build = "build" +end + pages = [ "index.md", "Submodules" => [ @@ -31,4 +38,4 @@ # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936 format=Documenter.HTML(;prettyurls) -makedocs(;sitename, pages, format) +makedocs(;sitename, pages, format, build)