From c793651446d11f7b2ff576f668c691b1bf4acb3a Mon Sep 17 00:00:00 2001
From: Ned Fenstermacher <nedfenstermacher@gmail.com>
Date: Wed, 25 Dec 2013 01:20:40 -0500
Subject: [PATCH] Fixed the ability to change the Docs Path.

---
 index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.php b/index.php
index 3a1d8fd..712b4dc 100644
--- a/index.php
+++ b/index.php
@@ -81,10 +81,10 @@ $url_params = url_params();
 
 if (count($options['languages']) > 0 && count($url_params) > 0 && strlen($url_params[0]) > 0) {
     $language = array_shift($url_params);
-    $base_path = "docs/" . $language;
+    $base_path = $options['docs_path'] . $language;
 } else {
     $language = null;
-    $base_path = "docs";
+    $base_path = $options['docs_path'];
 }
 
 $tree = get_tree($base_path, $base_url, '', true, $language);