From dc666d12c212c5e6403fb6aaf5d93f62acca3313 Mon Sep 17 00:00:00 2001
From: Arialdo Martini <arialdomartini@gmail.com>
Date: Sun, 6 Aug 2023 08:52:17 +0200
Subject: [PATCH] Anchor works in the website too

---
 doc/index.md | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/doc/index.md b/doc/index.md
index 9807ba29..63035a45 100644
--- a/doc/index.md
+++ b/doc/index.md
@@ -1,17 +1,16 @@
 # Tutorial
 
-* [Getting Started](#getting-started)
-  * [At a glance](#at-a-glance)
-  * [Integrated shrinking](#-integrated-shrinking-is-an-important-quality-of-hedgehog)
-* [Generators](#generators)
-  * [The `gen` expression](#-generators-can-also-be-created-using-the-gen-expression)
-* [Properties](#properties)
-  * [The `property` expression](#-properties-can-also-be-created-using-the-property-expression)
-  * [Custom Operations](#custom-operations)
+* [Getting Started](#Getting-Started)
+  * [At a glance](#At-a-glance)
+  * [Integrated shrinking](#-Integrated-shrinking-is-an-important-quality-of-Hedgehog)
+* [Generators](#Generators)
+* [Properties](#Properties)
+  * [The `gen` expression](#-Generators-can-also-be-created-using-the-gen-expression)
+  * [Custom Operations](#Custom-Operations)
     * [`counterexample`](#counterexample)
     * [`where`](#where)
-* [Integrations](#integrations)
-  * [Regex-constrained strings](#regex-constrained-strings)
+* [Integrations](#Integrations)
+  * [Regex-constrained strings](#Regex-constrained-strings)
 
 ### Getting Started