docs: implement support for local make with env

Signed-off-by: Erik Buer <[email protected]>
ErikBuer · Dec 31, 2023 · b4c6d4b · b4c6d4b
1 parent 8d64a73
commit b4c6d4b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -2,6 +2,9 @@ push!(LOAD_PATH,"../src/")
 
 using Documenter
 
+    # Check if LOCAL is defined; if not, set it to false
+    const LOCAL = get(ENV, "LOCAL", "false") == "true"
+
 if LOCAL
     include("../src/RadioPropagation.jl")
     using .RadioPropagation

diff --git a/docs/make_local.jl b/docs/make_local.jl
@@ -4,6 +4,6 @@ using Pkg
 Pkg.activate("docs/")
 Pkg.instantiate()
 
-LOCAL = true
+ENV["LOCAL"] = "true"
 
 include("make.jl")