diff --git a/docs/make.jl b/docs/make.jl index d40b203..96600f9 100644 --- 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 index d544279..40a0e95 100644 --- 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") \ No newline at end of file