From fe4c371001c0c9f1895e3ed6dea7506617b5e3cb Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@corte.si>
Date: Tue, 15 May 2018 10:07:09 +1200
Subject: docs: split out tool documentation

---
 docs/src/layouts/partials/sidebar.html | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'docs/src/layouts')

diff --git a/docs/src/layouts/partials/sidebar.html b/docs/src/layouts/partials/sidebar.html
index 5ea41c12..2dbec23a 100644
--- a/docs/src/layouts/partials/sidebar.html
+++ b/docs/src/layouts/partials/sidebar.html
@@ -8,6 +8,9 @@
     <p class="menu-label"> Overview </p>
     {{ partial "sidemenu" (dict "ctx" . "menuname" "overview") }}
 
+    <p class="menu-label">Tools</p>
+    {{ partial "sidemenu" (dict "ctx" . "menuname" "tools") }}
+
     <p class="menu-label">Core concepts</p>
     {{ partial "sidemenu" (dict "ctx" . "menuname" "concepts") }}
 
-- 
cgit v1.2.3