Note that in HTML < and > have a special meaning, so we cannot simply 
write "<* noreturn *>", but need to escape it as "&lt;* noreturn *&gt;".

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>&lt;* noreturn *&gt;</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

Reply via email to