docs: prepend v to tag string (#32993)

(cherry picked from commit 6723492)
JuliaLang · Aug 26, 2019 · 92a21ef · 92a21ef
1 parent fd574c1
commit 92a21ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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