Merge pull request TuringLang#1073 from TuringLang/cpfiffer-patch-1

Fix typo in docs build script
devmotion · Jan 15, 2020 · 3247b36 · 3247b36
2 parents 7c28c9f + 8cac2e3
commit 3247b36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,7 +25,7 @@ in("no-tutorials", ARGS) || copy_tutorial(tutorial_path)
 
 version_rx = r"v\d.\d.\d"
 baseurl = "/dev"
-ghref = replace(get(ENV, "GITHUB_REF", ""), "refs/tags" => "")
+ghref = replace(get(ENV, "GITHUB_REF", ""), "/refs/tags" => "")
 if get(ENV, "TRAVIS_TAG", "") != ""
     baseurl = "/" * ENV["TRAVIS_TAG"]
 elseif !isnothing(match(version_rx, ghref))