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 | waf: Configure check the inliner only once. (diff) | |
download | rtems-docs-1accbe31a5358b17731e5245294995a6e97b224f.tar.bz2 |
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 |