diff --git a/docs/make.jl b/docs/make.jl index f2f6982..c5a4331 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -24,7 +24,14 @@ makedocs(; ], ) -deploydocs(; - repo="github.com/codedthinking/Kezdi.jl", - devbranch="main", -) \ No newline at end of file +# url of target repo +repo = "github.com/codedthinking/docs.koren.dev.git" + +# You have to override the corresponding environment variable that +# deplodocs uses to determine if it is deploying to the correct repository. +# For GitHub, it's the GITHUB_REPOSITORY variable: +withenv("GITHUB_REPOSITORY" => repo) do + deploydocs(; + repo=repo, + dirname="Kezdi.jl",) +end