diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |