From 0d3cdef8f13da8914cc9a0c8d9efd6ebf18d5f4b Mon Sep 17 00:00:00 2001
From: Fenny <fenny@protonmail.com>
Date: Tue, 4 Feb 2020 14:24:42 +0100
Subject: [PATCH] Fix coverpage

---
 docs/{_coverpage.md => coverpage.md} | 0
 docs/index.html                      | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename docs/{_coverpage.md => coverpage.md} (100%)

diff --git a/docs/_coverpage.md b/docs/coverpage.md
similarity index 100%
rename from docs/_coverpage.md
rename to docs/coverpage.md
diff --git a/docs/index.html b/docs/index.html
index b8651c7a..e75861f1 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -25,7 +25,7 @@
       homepage: 'getting_started.md',
       subMaxLevel: 4,
       auto2top: true,
-      coverpage: true,
+      coverpage: 'coverpage.md',
       pagination: {
         previousText: 'Previous',
         nextText: 'Next',