From 13306a8e9b887da6922ffdd28e4e30c31e7a9fa0 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 26 May 2021 09:25:48 +0200
Subject: [PATCH] replace index.md link
---
docs/make.jl | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/docs/make.jl b/docs/make.jl
index f9748b8ed..879e1276e 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -59,7 +59,6 @@ makedocs(
prettyurls = !("local" in ARGS),
assets = ["assets/favicon.ico"],
highlights = ["yaml"],
- edit_link = nothing,
),
authors = "The developers of COBREXA.jl",
linkcheck = !("skiplinks" in ARGS),
@@ -72,6 +71,11 @@ 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")
+open(f -> write(f, index_html), joinpath(@__DIR__, "build", "index.html"), "w")
+
deploydocs(
repo = "github.com/$(ENV["TRAVIS_REPO_SLUG"]).git",
target = "build",
--
GitLab