From 44f5918e86b5dbcadc32699049a5105d7651cbfe Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Fri, 27 May 2016 09:54:39 +0200
Subject: [PATCH] Documentation leads right to the workbook page.

---
 _layouts/default.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/default.html b/_layouts/default.html
index 80045cbc..05b1abea 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -28,7 +28,7 @@
             <a href="{{ page.base_url }}community">Community</a>
           </li>
           <li{% if page.title == "Documentation" %} class="active"{% endif %}>
-            <a href="{{ page.base_url }}workbook">Documentation</a>
+            <a href="{{ page.base_url }}workbook/workbook">Documentation</a>
           </li>
         </ul>
         <h3 class="muted">Eiffel Web Framework</h3>