diff options
Diffstat (limited to '')
| -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 ----------------- |