From 42cb59efdd9099cb6e1891fa58b21dfcc5eef702 Mon Sep 17 00:00:00 2001
From: Denis Gorbachev <829578+DenisGorbachev@users.noreply.github.com>
Date: Thu, 5 Oct 2023 08:02:55 +0700
Subject: [PATCH] doc: fix the link to contribution guidelines (#2623)

---
 doc/faq.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/faq.md b/doc/faq.md
index af8b4bfe02..9ae9813755 100644
--- a/doc/faq.md
+++ b/doc/faq.md
@@ -47,7 +47,7 @@ We expect similar independent checkers will be built for Lean 4.
 
 We use [GitHub](https://github.com/leanprover/lean4/issues) to track bugs and new features.
 Bug reports are always welcome, but nitpicking issues are not (e.g., the error message is confusing).
-See also our [contribution guidelines](../CONTRIBUTING.md).
+See also our [contribution guidelines](https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md).
 
 ### Is it Lean, LEAN, or L∃∀N?