From 1c2fe595fb37e9f0179119c005788d9da3bf4d8b Mon Sep 17 00:00:00 2001
From: Tamas Gal <himself@tamasgal.com>
Date: Thu, 21 Sep 2023 11:45:23 +0200
Subject: [PATCH] Fix URL

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 93591535..76c1d53a 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -26,7 +26,7 @@ makedocs(;
         ],
         "API" => "api.md"
     ],
-    repo = URL(
+    repo = Documenter.Remotes.URL(
         "https://git.km3net.de/common/KM3io.jl/blob/{commit}{path}#L{line}",
         "https://git.km3net.de/common/KM3io.jl"
     ),
-- 
GitLab