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