Allow PRs to push preview documentation (#305)

asinghvi17 · web-flow · commit 54f89dc906a8 · 2020-02-09T19:47:25.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -31,4 +31,5 @@ makedocs(
 
 deploydocs(
     repo = "github.com/JuliaComputing/PackageCompiler.jl.git",
+    push_preview = true,
 )

Original file line number	Diff line number	Diff line change
`@@ -31,4 +31,5 @@ makedocs(`
`31`	`31`
`32`	`32`	`deploydocs(`
`33`	`33`	`repo = "github.com/JuliaComputing/PackageCompiler.jl.git",`
	`34`	`+ push_preview = true,`
`34`	`35`	`)`