From 7a8c20ed6a745bc8c3d77482057fe3920cb8770e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 9 Dec 2019 15:04:02 +0100
Subject: [doc] [INSTALL] Port INSTALL to markdown format.

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index e26103cedd..99e394efa3 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -865,7 +865,7 @@ team.
 #### Building Coq ####
 
 The list of dependencies can be found in the first section of the
-[`INSTALL`](INSTALL) file.
+[`INSTALL.md`](INSTALL.md) file.
 
 Today, the recommended method for building Coq is to use `dune`.  Run
 `make -f Makefile.dune` to get help on the various available targets,
-- 
cgit v1.2.3