From 1accbe31a5358b17731e5245294995a6e97b224f Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Wed, 15 Mar 2017 12:34:19 +1100
Subject: user: Add tool commands to the user manual.

---
 user/index.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'user/index.rst')

diff --git a/user/index.rst b/user/index.rst
index 7241d3f..3363b17 100644
--- a/user/index.rst
+++ b/user/index.rst
@@ -28,6 +28,8 @@ Table of Contents
 
 	hardware/index
 
+	tools/index
+
 	support/index
 	additional/index
 	glossary/index
-- 
cgit v1.2.3