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