comparison docs/make.jl @ 849:9ab2651ea00b feature/setup_documenter

Better default build location
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 14 Jan 2022 13:41:47 +0100
parents b4f542b4f2e4
children 0ef00e1426b1 510f744d0876
comparison
equal deleted inserted replaced
847:0862bed6e6b4 849:9ab2651ea00b
18 18
19 if "--build-dir" ∈ ARGS 19 if "--build-dir" ∈ ARGS
20 i = findlast(==("--build-dir"), ARGS) 20 i = findlast(==("--build-dir"), ARGS)
21 build = ARGS[i+1] 21 build = ARGS[i+1]
22 else 22 else
23 build = "build" 23 build = "build-local"
24 end 24 end
25 25
26 pages = [ 26 pages = [
27 "index.md", 27 "index.md",
28 "Submodules" => [ 28 "Submodules" => [