From 0b7e466a7316f637b478e78b9d29ec140ce08f9f Mon Sep 17 00:00:00 2001
From: Borromini <Borromini@users.noreply.github.com>
Date: Tue, 24 May 2016 23:20:22 +0200
Subject: [PATCH] Rename header from 'Documents' to 'Documentation'

---
 _includes/docs_nav.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_includes/docs_nav.html b/_includes/docs_nav.html
index 793afae..6679e87 100644
--- a/_includes/docs_nav.html
+++ b/_includes/docs_nav.html
@@ -1,4 +1,4 @@
-<h4>Documents</h4>
+<h4>Documentation</h4>
 <div class="panel">
     <div id="toc" class="toc">
         <ul class="sectlevel0">
-- 
2.30.2