diff --git a/doc/make.jl b/doc/make.jl index a5275553fbd212..b5bb98cbe7dae7 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -148,6 +148,11 @@ end const render_pdf = "pdf" in ARGS const buildroot = get(ENV, "BUILDROOT", joinpath(@__DIR__, "..")) + +@show haskey(ENV, "BUILDROOT") +haskey(ENV, "BUILDROOT") && (@show ENV["BUILDROOT"]) +@show buildroot + makedocs( build = joinpath(buildroot, "doc", "_build", (render_pdf ? "pdf" : "html"), "en"), modules = [Base, Core, BuildSysImg, [Base.root_module(Base, stdlib.stdlib) for stdlib in STDLIB_DOCS]...],