Browse Source

jfkdsl

pull/75/head
Fredrik Ekre 6 years ago
parent
commit
f9165e792b
  1. 27
      docs/make.jl

27
docs/make.jl

@ -70,22 +70,17 @@ using Literate
# end # end
if get(ENV, "GITHUB_EVENT_NAME", nothing) == "pull_request" if get(ENV, "GITHUB_EVENT_NAME", nothing) == "pull_request"
@info "Pushing preview docs." @info "Pushing preview docs."
@show ENV["GITHUB_REF"] PR = match(r"refs\/pull\/(\d+)\/merge", ENV["GITHUB_REF"]).captures[1]
@show ENV["GITHUB_ACTOR"] # Overwrite Documenter's function for generating the versions.js file
@show ENV["GITHUB_EVENT_PATH"] foreach(Base.delete_method, methods(Documenter.Writers.HTMLWriter.generate_version_file))
@show ENV["GITHUB_SHA"] Documenter.Writers.HTMLWriter.generate_version_file(_, _) = nothing
@show Literate.JSON.parsefile(ENV["GITHUB_EVENT_PATH"]) # Overwrite necessary environment variables to trick Documenter to deploy
# PR = ENV["TRAVIS_PULL_REQUEST"] ENV["GITHUB_EVENT_NAME"] = "push"
# # Overwrite Documenter's function for generating the versions.js file ENV["GITHUB_REF"] = "refs/heads/master"
# foreach(Base.delete_method, methods(Documenter.Writers.HTMLWriter.generate_version_file)) deploydocs(
# Documenter.Writers.HTMLWriter.generate_version_file(_, _) = nothing devurl = "preview-PR$(PR)",
# # Overwrite necessary environment variables to trick Documenter to deploy repo = "github.com/fredrikekre/Literate.jl.git",
# ENV["TRAVIS_PULL_REQUEST"] = "false" )
# ENV["TRAVIS_BRANCH"] = "master"
# deploydocs(
# devurl = "preview-PR$(PR)",
# repo = "github.com/fredrikekre/Literate.jl.git",
# )
exit(0) exit(0)
end end

Loading…
Cancel
Save