From f0ae27a7141fcdbbb34ea8b72421355f3b19b0f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Halil=20=C4=B0brahim=20Kalkan?= <hi_kalkan@yahoo.com>
Date: Wed, 8 Jan 2020 22:06:39 +0300
Subject: [PATCH] Add Options menu

---
 docs/en/docs-nav.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/en/docs-nav.json b/docs/en/docs-nav.json
index e167d50c47..5667631c61 100644
--- a/docs/en/docs-nav.json
+++ b/docs/en/docs-nav.json
@@ -60,6 +60,10 @@
           "text": "Configuration",
           "path": "Configuration.md"
         },
+        {
+          "text": "Options",
+          "path": "Options.md"
+        },
         {
           "text": "Dependency Injection",
           "path": "Dependency-Injection.md",