Update doc links for 1.3-dev (#31752)

JuliaLang · Apr 18, 2019 · e353da8 · e353da8
1 parent 3017482
commit e353da8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/make.jl b/doc/make.jl
@@ -191,8 +191,8 @@ withenv("TRAVIS_REPO_SLUG" => "JuliaLang/docs.julialang.org") do
         repo = "github.com/JuliaLang/docs.julialang.org.git",
         target = joinpath(buildroot, "doc", "_build", "html", "en"),
         dirname = "en",
-        devurl = "v1.2-dev",
-        versions = ["v#.#", "v1.2-dev" => "v1.2-dev"]
+        devurl = "v1.3-dev",
+        versions = ["v#.#", "v1.3-dev" => "v1.3-dev"]
     )
 end
 end