comparison 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
comparison
equal deleted inserted replaced
844:ee0404433fc3 845:b4f542b4f2e4
14 prettyurls = true 14 prettyurls = true
15 else 15 else
16 prettyurls = false 16 prettyurls = false
17 end 17 end
18 18
19 if "--build-dir" ∈ ARGS
20 i = findlast(==("--build-dir"), ARGS)
21 build = ARGS[i+1]
22 else
23 build = "build"
24 end
25
19 pages = [ 26 pages = [
20 "index.md", 27 "index.md",
21 "Submodules" => [ 28 "Submodules" => [
22 "submodules/grids.md", 29 "submodules/grids.md",
23 "submodules/diff_ops.md", 30 "submodules/diff_ops.md",
29 "doc_index.md", 36 "doc_index.md",
30 ] 37 ]
31 # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936 38 # This ordering is not respected by @contents. See https://github.com/JuliaDocs/Documenter.jl/issues/936
32 39
33 format=Documenter.HTML(;prettyurls) 40 format=Documenter.HTML(;prettyurls)
34 makedocs(;sitename, pages, format) 41 makedocs(;sitename, pages, format, build)