mirror of
https://git.rtems.org/rtems-docs/
synced 2025-07-27 06:02:24 +08:00

Minor clean up of the configure messages. Do not re-check sphinx in the nested configures.
Minor clean up of the configure messages. Do not re-check sphinx in the nested configures.