tree 1bd592f6142d1ec198201e154a4019a868957370
parent 298707b8ceaed91921b322356bde6bf986901ed8
author Andrew Pinski <apinski@marvell.com> 1668487340 +0000
committer Andrew Pinski <apinski@marvell.com> 1668487340 +0000

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.