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/rank.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/docs/help/rank.html b/docs/help/rank.html
index cf5507a7..22fe0673 100644
--- a/docs/help/rank.html
+++ b/docs/help/rank.html
@@ -5,7 +5,7 @@
 </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="circled-horizontal-bar-with-notch-"><a class="header" href="#circled-horizontal-bar-with-notch-">Circled Horizontal Bar With Notch (<code><span class='Modifier2'>⎉</span></code>)</a></h1>
-<h2 id="-----rank"><a class="header" href="#-----rank"><code><span class='Function'>𝔽</span><span class='Modifier2'>⎉</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⎉</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>: Rank</a></h2>
+<h2 id="𝔽𝕘-𝕩-𝕨-𝔽𝕘-𝕩-rank"><a class="header" href="#𝔽𝕘-𝕩-𝕨-𝔽𝕘-𝕩-rank"><code><span class='Function'>𝔽</span><span class='Modifier2'>⎉</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⎉</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>: Rank</a></h2>
 <p>Apply <code><span class='Function'>𝔽</span></code> to cells at ranks given in <code><span class='Value'>𝕘</span></code>.</p>
 <p>The ranks applied are given by the following:</p>
 <ul>
-- 
cgit v1.2.3