Update make.jl

control-toolbox · Sep 10, 2024 · e1dd4bb · e1dd4bb
1 parent 8b588cf
commit e1dd4bb
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,10 +1,13 @@
 using Documenter
 
+repo_url = "github.com/control-toolbox/CTApp.jl"
+
 makedocs(;
  remotes=nothing,
  warnonly=:cross_references,
  sitename="CTApp",
  format=Documenter.HTML(;
+ repolink = "https://"*repo_url,
  prettyurls=false,
  size_threshold_ignore=["index.md"],
  assets=[
@@ -15,4 +18,6 @@ makedocs(;
  pages=["Introduction" => "index.md"],
 )
 
-deploydocs(; repo="github.com/control-toolbox/CTApp.jl.git", devbranch="main")
+deploydocs(;
+ repo=repo_url*".git", devbranch="main"
+)