From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 24 Jan 2022 18:12:13 -0500
Subject: Github doesn't remove Unicode letters from header slugs apparently

---
 docs/help/pi.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'docs/help/pi.html')

diff --git a/docs/help/pi.html b/docs/help/pi.html
index cc06f8a3..1ed7b0b5 100644
--- a/docs/help/pi.html
+++ b/docs/help/pi.html
@@ -4,8 +4,8 @@
   <title>BQN: Pi (π)</title>
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
-<h1 id="pi-"><a class="header" href="#pi-">Pi (<code><span class='Number'>π</span></code>)</a></h1>
-<h2 id="-pi"><a class="header" href="#-pi"><code><span class='Number'>π</span></code>: Pi</a></h2>
+<h1 id="pi-π"><a class="header" href="#pi-π">Pi (<code><span class='Number'>π</span></code>)</a></h1>
+<h2 id="π-pi"><a class="header" href="#π-pi"><code><span class='Number'>π</span></code>: Pi</a></h2>
 <p>Mathematical constant pi. Shares the same status as other numbers, can be negative (<code><span class='Number'>¯π</span></code>).</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=z4AKCsKvz4A=">↗️</a><pre>    <span class='Number'>π</span>
 3.141592653589793
-- 
cgit v1.2.3