diff options
| -rw-r--r-- | doc/user/conf.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/conf.t b/doc/user/conf.t index 6fbf211038..68b62463b4 100644 --- a/doc/user/conf.t +++ b/doc/user/conf.t @@ -2614,7 +2614,7 @@ space provided before RTEMS release 4.5.0. @c @c === CONFIGURE_MAXIMUM_DEVICES === @c -@subsection Specifying Maximum Devices +@subsection Specifying Maximum Devices for devFS @findex CONFIGURE_MAXIMUM_DEVICES |