From 648c3690a5a22ccccaa5d47934497b151628d530 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Fri, 9 Nov 2018 08:15:49 +0100 Subject: [PATCH] Deploy docs to JuliaLang/docs.julialang.org:gh-pages instead of JuliaLang/julia:gh-pages. (#29898) --- doc/make.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/make.jl b/doc/make.jl index f88f60ac020fc..d8884d94efc61 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -175,11 +175,14 @@ makedocs( # Only deploy docs from 64bit Linux to avoid committing multiple versions of the same # docs from different workers. if "deploy" in ARGS && Sys.ARCH === :x86_64 && Sys.KERNEL === :Linux +# Override TRAVIS_REPO_SLUG since we deploy to a different repo +withenv("TRAVIS_REPO_SLUG" => "JuliaLang/docs.julialang.org") do deploydocs( - repo = "github.com/JuliaLang/julia.git", + repo = "github.com/JuliaLang/docs.julialang.org.git", target = joinpath(buildroot, "doc", "_build", "html", "en"), dirname = "en", devurl = "v1.1-dev", versions = ["v#.#", "v1.1-dev" => "v1.1-dev"] ) end +end