mirror of
https://git.rtems.org/rtems-docs/
synced 2025-10-17 18:42:02 +08:00
c-user: Use configuration option as section name
This makes it easier to find the documentation for a given configuration option. Remove superfluous comments.
This commit is contained in: