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

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

diff --git a/docs/help/catch.html b/docs/help/catch.html
index 446edf64..a5a546fd 100644
--- a/docs/help/catch.html
+++ b/docs/help/catch.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-triangle-down-"><a class="header" href="#circled-triangle-down-">Circled Triangle Down (<code><span class='Modifier2'>⎊</span></code>)</a></h1>
-<h2 id="-----catch"><a class="header" href="#-----catch"><code><span class='Function'>𝔽</span><span class='Modifier2'>⎊</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⎊</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Catch</a></h2>
+<h2 id="𝔽𝔾-𝕩-𝕨-𝔽𝔾-𝕩-catch"><a class="header" href="#𝔽𝔾-𝕩-𝕨-𝔽𝔾-𝕩-catch"><code><span class='Function'>𝔽</span><span class='Modifier2'>⎊</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⎊</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Catch</a></h2>
 <p>Apply <code><span class='Function'>𝔽</span></code> to the arguments.</p>
 <p>If an error happens when <code><span class='Function'>𝔽</span></code> is applied, cancel its execution, apply <code><span class='Function'>𝔾</span></code> to the arguments and return the results.</p>
 <p>Otherwise, return the results of <code><span class='Function'>𝔽</span></code>.</p>
-- 
cgit v1.2.3