Skip to content

Commit 619ce47

Browse files
authored
Update make.jl
1 parent 089d72d commit 619ce47

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

docs/make.jl

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,9 @@
11
using Documenter
22
using OptimalControl
33

4+
cp("./docs/Manifest.toml", "./docs/src/assets/Manifest.toml", force = true)
5+
cp("./docs/Project.toml", "./docs/src/assets/Project.toml", force = true)
6+
47
repo_url = "github.com/control-toolbox/Tutorials.jl"
58

69
makedocs(;
@@ -31,4 +34,4 @@ makedocs(;
3134
],
3235
)
3336

34-
deploydocs(; repo=repo_url * ".git", devbranch="main")
37+
deploydocs(; repo=repo_url * ".git", devbranch="main")

0 commit comments

Comments
 (0)