Update make.jl (#100)

mforets · web-flow · commit 88ad54977923 · 2021-01-22T09:43:27.000-06:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -15,5 +15,6 @@ Documenter.deploydocs(
     repo = "github.com/JuliaIntervals/TaylorModels.jl.git",
     target = "build",
     deps = nothing,
-    make = nothing
+    make = nothing,
+    push_preview = true
 )

Original file line number	Diff line number	Diff line change
`@@ -15,5 +15,6 @@ Documenter.deploydocs(`
`15`	`15`	`repo = "github.com/JuliaIntervals/TaylorModels.jl.git",`
`16`	`16`	`target = "build",`
`17`	`17`	`deps = nothing,`
`18`		`- make = nothing`
	`18`	`+ make = nothing,`
	`19`	`+ push_preview = true`
`19`	`20`	`)`