From 0f6f02328a2d299aa7f897bd8f9cdb0a221bfb94 Mon Sep 17 00:00:00 2001
From: Matej Sima <matej.sima@gmail.com>
Date: Mon, 3 Jun 2019 11:20:32 +0200
Subject: [PATCH] Add a contributors docs subfolder & docs website config

---
 gitlab-pages/docs/contributors/introduction.md | 6 ++++++
 gitlab-pages/website/sidebars.json             | 3 +++
 gitlab-pages/website/siteConfig.js             | 1 +
 3 files changed, 10 insertions(+)
 create mode 100644 gitlab-pages/docs/contributors/introduction.md

diff --git a/gitlab-pages/docs/contributors/introduction.md b/gitlab-pages/docs/contributors/introduction.md
new file mode 100644
index 000000000..07ce69820
--- /dev/null
+++ b/gitlab-pages/docs/contributors/introduction.md
@@ -0,0 +1,6 @@
+---
+id: introduction
+title: Introduction
+---
+
+test
\ No newline at end of file
diff --git a/gitlab-pages/website/sidebars.json b/gitlab-pages/website/sidebars.json
index 896941f78..7d4919971 100644
--- a/gitlab-pages/website/sidebars.json
+++ b/gitlab-pages/website/sidebars.json
@@ -3,5 +3,8 @@
     "Setup": ["setup-installation"],
     "Language Basics": ["language-basics-variables", "language-basics-functions", "language-basics-entrypoints", "language-basics-operators"],
     "API": ["api-cli-commands"]
+  },
+  "contributors-docs": {
+    "Introduction": ["contributors/introduction"]
   }
 }
diff --git a/gitlab-pages/website/siteConfig.js b/gitlab-pages/website/siteConfig.js
index 5ea8e645d..f4120e154 100644
--- a/gitlab-pages/website/siteConfig.js
+++ b/gitlab-pages/website/siteConfig.js
@@ -40,6 +40,7 @@ const siteConfig = {
   headerLinks: [
     {doc: 'setup-installation', label: 'Docs'},
     {doc: 'api-cli-commands', label: 'CLI'},
+    {doc: 'contributors/introduction', label: 'Contributors'}
   ],
 
   // If you have users set above, you add it here: