mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00

Newer makeinfo tools cannot build the existing texinfo in gcc so disable building it. This will not be fixed on the gcc branch. Updates #3027.