Set push_preview=true in makedocs

asinghvi17 · web-flow · commit 8011bdac8fa9 · 2020-04-17T18:13:47.000+05:30
This allows PRs changing documentation to be previewed ahead of time.
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,5 +25,6 @@ makedocs(
 )
 
 deploydocs(
-   repo = "github.com/SciML/ModelingToolkit.jl.git"
+   repo = "github.com/SciML/ModelingToolkit.jl.git";
+   push_preview = true
 )

Original file line number	Diff line number	Diff line change
`@@ -25,5 +25,6 @@ makedocs(`
`25`	`25`	`)`
`26`	`26`
`27`	`27`	`deploydocs(`
`28`		`- repo = "github.com/SciML/ModelingToolkit.jl.git"`
	`28`	`+ repo = "github.com/SciML/ModelingToolkit.jl.git";`
	`29`	`+ push_preview = true`
`29`	`30`	`)`