change devbranch in make.jl

iagoschavarry · iagoschavarry · commit 2dd4dc5c43bd · 2021-11-22T10:20:48.000-03:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -39,5 +39,6 @@ makedocs(
 # for more information.
 deploydocs(
         repo="github.com/LAMPSPUC/PWF.jl.git",
+        devbranch = "main",
         push_preview = true
     )

Original file line number	Diff line number	Diff line change
`@@ -39,5 +39,6 @@ makedocs(`
`39`	`39`	`# for more information.`
`40`	`40`	`deploydocs(`
`41`	`41`	`repo="github.com/LAMPSPUC/PWF.jl.git",`
	`42`	`+ devbranch = "main",`
`42`	`43`	`push_preview = true`
`43`	`44`	`)`