From 630b43c3f1d4a3e5fa9021849d90f76b623d7fa9 Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Wed, 21 Aug 2019 10:26:19 +1200 Subject: [PATCH] docs: prepend v to tag string --- doc/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make.jl b/doc/make.jl index fe047b620c03c..72251e2897188 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -202,7 +202,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