]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 298707b) | patch
Remove the picoChip documentation
authorAndrew Pinski <apinski@marvell.com>
Tue, 15 Nov 2022 04:42:20 +0000 (04:42 +0000)
committerAndrew Pinski <apinski@marvell.com>
Tue, 15 Nov 2022 04:42:20 +0000 (04:42 +0000)
commit7dc52ed58b754da4e2e26e50854af835f07520f4
tree1bd592f6142d1ec198201e154a4019a868957370tree | snapshot
parent298707b8ceaed91921b322356bde6bf986901ed8commit | 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.
gcc/doc/extend.texi diff | blob | blame | history
gcc/doc/invoke.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git