fix(mkdocs): broken link

cryspen · Jan 13, 2025 · 4172c2c · 4172c2c
1 parent c332945
commit 4172c2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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).