changeset 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 0862bed6e6b4
children 252e4a64edbb 0ef00e1426b1
files docs/make.jl
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/make.jl	Fri Jan 14 13:32:42 2022 +0100
+++ b/docs/make.jl	Fri Jan 14 13:41:47 2022 +0100
@@ -20,7 +20,7 @@
     i = findlast(==("--build-dir"), ARGS)
     build = ARGS[i+1]
 else
-    build = "build"
+    build = "build-local"
 end
 
 pages = [