diff 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
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 = [