From 47cdb65b2290df66690d34d6a09745fb364ef392 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Mon, 6 Dec 2021 18:53:24 +0100 Subject: install link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 4912eb3d..6406cd27 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ with contributions of: ## Installing -Please follow the instructions in `INSTALL.md` +Please follow the instructions in [`INSTALL.md`](INSTALL.md) ## Papers, docs, etc on this CompCert version -- cgit