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)