diff options
author | Chris Johns <chrisj@rtems.org> | 2017-03-15 12:34:19 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-03-15 15:03:41 +1100 |
commit | 1accbe31a5358b17731e5245294995a6e97b224f (patch) | |
tree | dfddde6cd84f358c533d0991d7f5ac7b809d5fda /user/index.rst | |
parent | 91d6c96b4cb8fbde4d6c38deb7c5cc6ae308e30f (diff) |
user: Add tool commands to the user manual.
Diffstat (limited to 'user/index.rst')
-rw-r--r-- | user/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
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 |