From 4172c2c3c9bdd6099699e911996be1ba51d79e20 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 13 Jan 2025 17:08:36 +0100
Subject: [PATCH] fix(mkdocs): broken link

---
 docs/manual/quick_start/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/manual/quick_start/index.md b/docs/manual/quick_start/index.md
index 99244556c..d2ceac30b 100644
--- a/docs/manual/quick_start/index.md
+++ b/docs/manual/quick_start/index.md
@@ -64,7 +64,7 @@ constructs](https://github.com/hacspec/hax?tab=readme-ov-file#supported-subset-o
 for extracting only a part of your crate. When running hax, if an item
 of your crate, say a function `my_crate::f`, is not handled by hax,
 you can append `-my_crate::f` to the `-i` flag. You can learn more
-about the `-i` flag [in the FAQ](../faq/include-flags.html).
+about the `-i` flag [in the FAQ](../faq/include-flags.md).