commit | 7dc52ed58b754da4e2e26e50854af835f07520f4 | [log] [tgz] |
---|---|---|
author | Andrew Pinski <apinski@marvell.com> | Tue Nov 15 04:42:20 2022 +0000 |
committer | Andrew Pinski <apinski@marvell.com> | Tue Nov 15 04:42:20 2022 +0000 |
tree | 1bd592f6142d1ec198201e154a4019a868957370 | |
parent | 298707b8ceaed91921b322356bde6bf986901ed8 [diff] |
Remove the picoChip documentation PicoChip support was removed in r5-3431-g157e859ffe3b5d but the documentation was missed it seems. Committed as obvious after running "make html" to make sure the building of the documentation still works. Thanks, Andrew Pinski gcc/ChangeLog: * doc/extend.texi: Remove picoChip builtin section. * doc/invoke.texi: Remove picoChip option section.