From fffbcf9ca9dfa00abb6b3554ef2f22fac7fb2ada Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <fredrik.ekre@chalmers.se>
Date: Tue, 23 Oct 2018 13:45:04 +0200
Subject: [PATCH] debug [skip travis]

---
 doc/make.jl | 5 +++++
 1 file changed, 5 insertions(+)

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]...],