deploy docs?

maxhcohen · maxhcohen · commit 2621c3ef72f7 · 2024-08-15T11:05:11.000-07:00
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,3 +1,4 @@
 [deps]
 CBFToolbox = "9bb58977-20e0-447d-80ed-b4444e16eeb9"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+DocumenterTools = "35a29f4d-8980-5a13-9543-d66fff28ecb8"
diff --git a/docs/make.jl b/docs/make.jl
@@ -16,4 +16,4 @@ makedocs(;
     ],
 )
 
-# deploydocs(; repo="github.com/maxhcohen/CBFToolbox.jl")
+deploydocs(; repo="github.com/maxhcohen/CBFToolbox.jl", devbranch="main")

Original file line number	Diff line number	Diff line change
`@@ -16,4 +16,4 @@ makedocs(;`
`16`	`16`	`],`
`17`	`17`	`)`
`18`	`18`
`19`		`-# deploydocs(; repo="github.com/maxhcohen/CBFToolbox.jl")`
	`19`	`+deploydocs(; repo="github.com/maxhcohen/CBFToolbox.jl", devbranch="main")`