From f5cf4c5c11657e77ad5f2fca5b6ad4610e5648e5 Mon Sep 17 00:00:00 2001 From: mischmi96 Date: Fri, 2 Jul 2021 08:59:06 +0200 Subject: [PATCH] updates docs deployment --- docs/make.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 76526af..0de11aa 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -15,6 +15,8 @@ makedocs( ) deploydocs( - repo = "github.com/NFFT/NFFT3.jl.git", + repo = "github.com/NFFT/NFFT3.jl.git", devbranch = "main", + devurl = "dev", + versions = ["stable" => "v^", "v#.#", devurl => devurl], )