From 3010638d9ee5ad90189c65b2f6a1eb2441b07591 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Tue, 25 May 2021 13:01:47 +0200
Subject: [PATCH] disable the edit link docs
It's a bit confusing anyway for this use-case (if you're reading the
documentation you usually don't want to edit it).
Side effect:
Closes #245
---
docs/make.jl | 1 +
1 file changed, 1 insertion(+)
diff --git a/docs/make.jl b/docs/make.jl
index 50ed3e8f8..f9748b8ed 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -59,6 +59,7 @@ makedocs(
prettyurls = !("local" in ARGS),
assets = ["assets/favicon.ico"],
highlights = ["yaml"],
+ edit_link = nothing,
),
authors = "The developers of COBREXA.jl",
linkcheck = !("skiplinks" in ARGS),
--
GitLab