Note that in HTML < and > have a special meaning, so we cannot simply write "<* noreturn *>", but need to escape it as "<* noreturn *>".
Pushed. Gerald --- htdocs/gcc-13/changes.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index 17be7e7c..209c13cd 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -383,7 +383,7 @@ a work-in-progress.</p> support for the ISO/IEC 10514-1, PIM2, PIM3, PIM4 dialects together with a complete set of ISO/IEC 10514-1 and PIM libraries.</li> - <li>The <code><* noreturn *></code> attribute is supported + <li>The <code><* noreturn *></code> attribute is supported with the <code>-Wreturn-type</code> <a href="https://gcc.gnu.org/onlinedocs/m2/Compiler-options.html"> option</a>.</li> -- 2.39.2