From a1b9ec072c1f3784fef7554a5f052a447a175cb0 Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Sun, 8 Dec 2024 19:43:16 +0100 Subject: [PATCH] maybe --- docs/Build.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Build.jl b/docs/Build.jl index 574e7b1d67..57432cd94b 100644 --- a/docs/Build.jl +++ b/docs/Build.jl @@ -78,7 +78,7 @@ function make(Hecke::Module; strict = false, repo = "github.com/thofma/Hecke.jl", devurl = "dev", devbranch = "master", - deploy_url = "https://thofma.com/Hecke.jl", + deploy_url = "https://thofma.com/Hecke.jl/", #build_vitepress = !local_build, ), warnonly = warnonly,