From 92a21ef0d4b56f470cb2370e7e9e0383a5eaafc5 Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Wed, 21 Aug 2019 23:35:59 +1200 Subject: [PATCH] docs: prepend v to tag string (#32993) (cherry picked from commit 67234925efbac41f58249839ff03b4b9d36c1ec0) --- doc/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make.jl b/doc/make.jl index 7eab49337c582..d3fc507b302c1 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -194,7 +194,7 @@ env_mappings = [ ] if Base.GIT_VERSION_INFO.tagged_commit - push!(env_mappings, "TRAVIS_TAG" => string(Base.VERSION)) + push!(env_mappings, "TRAVIS_TAG" => "v$(Base.VERSION)") end withenv(env_mappings...) do