From 56a742ba1b92e6ec11dbd6ee98bdb5017a273fb4 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 26 May 2021 09:44:02 +0200
Subject: [PATCH] point link to main repo

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

diff --git a/docs/make.jl b/docs/make.jl
index 879e1276e..09a5b80dc 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -73,7 +73,7 @@ makedocs(
 
 # replace the link for index.md
 index_html = open(f -> read(f, String), joinpath(@__DIR__, "build", "index.html"))
-index_html = replace(index_html, "/docs/src/index.md\n" => "/README.md")
+index_html = replace(index_html, "/docs/src/index.md" => "")
 open(f -> write(f, index_html), joinpath(@__DIR__, "build", "index.html"), "w")
 
 deploydocs(
-- 
GitLab