From 9b151c19d4c71721834fecc78edd3e1a22a1581d Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <ekrefredrik@gmail.com>
Date: Fri, 14 Dec 2018 00:58:24 +0100
Subject: [PATCH] Update documentation version from 1.1-dev to 1.2-dev.

---
 doc/make.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/make.jl b/doc/make.jl
index f1434ed713f5b..60ff2df1832be 100644
--- 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.1-dev",
-        versions = ["v#.#", "v1.1-dev" => "v1.1-dev"]
+        devurl = "v1.2-dev",
+        versions = ["v#.#", "v1.2-dev" => "v1.2-dev"]
     )
 end
 end