Deploying to main from @ pyocd/pyocd-website-source@e278a7a 🚀

Author: pyocd-bot

docs/semihosting.html

@@ -307,7 +307,7 @@ <h3 id="building-into-firmware">Building into firmware</h3>
 
 <p>This small example shows how to init and use semihosting from gcc.</p>
 
-<div class="language-c highlighter-rouge"><div class="highlight"><pre class="highlight"><code><span class="cp">#include &lt;stdio.h&gt;
+<div class="language-c highlighter-rouge"><div class="highlight"><pre class="highlight"><code><span class="cp">#include</span> <span class="cpf">&lt;stdio.h&gt;</span><span class="cp">
 </span>
 <span class="k">extern</span> <span class="kt">void</span> <span class="nf">initialise_monitor_handles</span><span class="p">(</span><span class="kt">void</span><span class="p">);</span>