From aacb433d1fe74a54fc201283c861009b6a5268ae Mon Sep 17 00:00:00 2001
From: Chris Beams <cbeams@gopivotal.com>
Date: Fri, 9 Aug 2013 12:21:13 +0200
Subject: [PATCH] Shorten "documentation" to "docs"

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

diff --git a/_layouts/default.html b/_layouts/default.html
index 934bbe3..6819681 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -27,7 +27,7 @@
         </div>
         <ul class="nav pull-right">
           <li class="navbar-link">
-            <a href="{{site.spring_site_url}}/documentation">Documentation</a>
+            <a href="{{site.spring_site_url}}/docs">Docs</a>
           </li>
           <li class="navbar-link">
             <a href="{{site.spring_site_url}}/guides">Guides</a>