From 36b013029a3e565d73e50db813a411e376456c29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julius=20H=C3=A4rtl?= <jus@bitgrid.net>
Date: Fri, 22 Mar 2019 10:22:30 +0100
Subject: [PATCH] Add user docs to the navigation
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Julius Härtl <jus@bitgrid.net>
---
 docs/{DOCUMENTATION_en.md => User_documentation_en.md} | 0
 mkdocs.yml                                             | 4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename docs/{DOCUMENTATION_en.md => User_documentation_en.md} (100%)

diff --git a/docs/DOCUMENTATION_en.md b/docs/User_documentation_en.md
similarity index 100%
rename from docs/DOCUMENTATION_en.md
rename to docs/User_documentation_en.md
diff --git a/mkdocs.yml b/mkdocs.yml
index 62132f05f..c80c417be 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -4,8 +4,8 @@ theme:
 extra_css: [extra.css]
 pages:
     - Home: index.md
-    - User documentation:
-        - Markdown composing: Markdown.md
+    - User documentation: User_documentation_en.md
+    - Markdown composing: Markdown.md
     - API documentation:
         - REST API: API.md
         - Nextcloud API: API-Nextcloud.md