diff options
author | Joel Sherrill <joel@rtems.org> | 2017-01-11 19:01:20 -0600 |
---|---|---|
committer | Joel Sherrill <joel@rtems.org> | 2017-01-11 19:01:20 -0600 |
commit | 7193f09294a087701e99d8dab1c58b357671aed6 (patch) | |
tree | a704f71c51172449e6d8311c9d8b8303335e9ae0 /user | |
parent | d8beaabd02581bb42359400fe71659428aa76e8c (diff) |
Update document titles for consistency
Diffstat (limited to 'user')
-rw-r--r-- | user/index.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/user/index.rst b/user/index.rst index 063bd4a..7241d3f 100644 --- a/user/index.rst +++ b/user/index.rst @@ -8,9 +8,9 @@ .. highlight:: c -============================ -RTEMS |version| User Manual. -============================ +============================== +RTEMS User Manual (|version|). +============================== Table of Contents ----------------- |