From 767219e26e1f7bb0de09629bcd61b2d3728c679d Mon Sep 17 00:00:00 2001 From: Siddhant Chaudhary Date: Sat, 18 Mar 2023 00:37:40 +0530 Subject: [PATCH] Add option `push_preview` in docs. --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 8aabc0f5..3ffa66f2 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -29,4 +29,4 @@ makedocs(; checkdocs = :exports, ) -deploydocs(; repo = "github.com/xKDR/Survey.jl", target = "build", devbranch = "main") +deploydocs(; repo = "github.com/xKDR/Survey.jl", target = "build", devbranch = "main", push_preview = true)