Add Options menu

7 years ago · f0ae27a714
1 changed files with 4 additions and 0 deletions
--- 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",