From 6c42b4fe92344c618d9302251bd7f2ee4b96c0d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mikl=C3=B3s=20Koren?= Date: Tue, 31 Dec 2024 23:34:02 +0100 Subject: [PATCH] Deploy directly to docs.koren.dev --- docs/make.jl | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) 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