From d257c1fa73e73d6144b9bb85f4a13547c59fb80c Mon Sep 17 00:00:00 2001 From: "Viral B. Shah" Date: Thu, 26 Sep 2024 10:32:49 -0400 Subject: [PATCH] Try to update the docs --- docs/make.jl | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/docs/make.jl b/docs/make.jl index e2627ea..450ae47 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -1,5 +1,14 @@ using Documenter, Example -makedocs(modules = [Example], sitename = "Example.jl") +makedocs(modules = [Example], + sitename = "Example.jl", + format = Documenter.HTML() + ) -deploydocs(repo = "github.com/JuliaLang/Example.jl.git") +deploydocs( + repo = "github.com/JuliaLang/Example.jl.git", + target = "build", + deps = nothing, + make = nothing, + push_preview = true, +)