https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98162
--- Comment #2 from CVS Commits ---
The master branch has been updated by H.J. Lu :
https://gcc.gnu.org/g:9da33826bb9b7d76f85057c18a0b65d0e14baa3d
commit r11-5807-g9da33826bb9b7d76f85057c18a0b65d0e14baa3d
Author: H.J. Lu
Date: Sun Dec 6 07:07:26 2020 -0800
doc: Remove -mcet
-mcet was removed by
commit 231baae28ef7ff784683fa5a80df119da2b9a99b
Author: H.J. Lu
Date: Tue Apr 24 16:56:04 2018 +
x86/CET: Remove the -mcet command-lint option
PR target/98162
* doc/extend.texi: Remove -mcet.