docs: prepend v to tag string (#32993)

mortenpi · fredrikekre · commit 67234925efba · 2019-08-21T13:35:59.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -202,7 +202,7 @@ env_mappings = [`
`202`	`202`	`]`
`203`	`203`
`204`	`204`	`if Base.GIT_VERSION_INFO.tagged_commit`
`205`		`- push!(env_mappings, "TRAVIS_TAG" => string(Base.VERSION))`
	`205`	`+ push!(env_mappings, "TRAVIS_TAG" => "v$(Base.VERSION)")`
`206`	`206`	`end`
`207`	`207`
`208`	`208`	`withenv(env_mappings...) do`