diff options
| -rw-r--r-- | doc/user/c_user.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/c_user.texi b/doc/user/c_user.texi index bdf0cd574e..ebbdec9482 100644 --- a/doc/user/c_user.texi +++ b/doc/user/c_user.texi @@ -28,7 +28,7 @@ @ifset use-ascii @dircategory RTEMS On-Line Manual @direntry -* RTEMS C User: (C Users Guide). The C User's Guide. +* RTEMS C User: (c_user). The C User's Guide. @end direntry @end ifset |