From 8df44a8dd6a9f61d20dc029169312b2bdafd9901 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Wed, 26 May 2021 23:10:15 +0200
Subject: [PATCH] update build

---
 index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index ffac0fd..dcdae4b 100644
--- a/index.html
+++ b/index.html
@@ -120,7 +120,8 @@
 
     <div id="app"></div>
 
-    <h2>Examples</h2>
+    <a name="examples"></a>
+    <h2><a href="#examples">Examples</a></h2>
     <ul>
       <li><a href="tictactoe.html">Tic-tac-toe</a></li>
       <li><a href="bookmarklet.html">Bookmarklet</a></li>