Update make.jl

control-toolbox · Jul 15, 2024 · 5d69180 · 5d69180
1 parent 0d62997
commit 5d69180
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -19,6 +19,6 @@ makedocs(
 )
 
 deploydocs(
-    repo = "github.com/control-toolbox/cov.git",
+    repo = "github.com/control-toolbox/calculus_of_variations.git",
     devbranch = "main"
-)
+)