From: Borromini <Borromini@users.noreply.github.com>
Date: Tue, 24 May 2016 21:20:22 +0000 (+0200)
Subject: Rename header from 'Documents' to 'Documentation'
X-Git-Url: http://git.openwrt.org/?p=web.git;a=commitdiff_plain;h=0b7e466a7316f637b478e78b9d29ec140ce08f9f

Rename header from 'Documents' to 'Documentation'
---

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">