From 4bca49113a4c9a7146413c7c82ff90b33b320132 Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Wed, 12 Dec 2018 04:40:44 +0300
Subject: [PATCH] Use normal link to documentation

---
 builder/assets/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/builder/assets/index.html b/builder/assets/index.html
index 1e7e2ad7..422d1fbf 100644
--- a/builder/assets/index.html
+++ b/builder/assets/index.html
@@ -4,12 +4,11 @@
 	<!-- <li><a href="">View user reference</a> (<a href="http://clever.copterexpress.com">http://clever.copterexpress.com</a> snapshot)</li> -->
 	<li><a href="" id="wvs">View image topics</a> (<code>web_video_server</code>)</li>
 	<li><a href="" id="butterfly">Open web terminal</a> (<code>Butterfly</code>)</li>
-	<li><a href="" id="docs">Documentation</a> (<code>gitbook</code>)</li>
+	<li><a href="/docs">Documentation</a> (<code>gitbook</code>)</li>
 	<!-- <li><a href="viz.html">View 3D visualization</a> (<code>ros3djs</code>)</li> -->
 </ul>
 
 <script type="text/javascript">
 	document.querySelector("#wvs").href = location.origin + ':8080';
 	document.querySelector("#butterfly").href = location.origin + ':57575';
-	document.querySelector("#docs").href = location.origin + '/docs';
 </script>