diff options
| author | Danny Mösch <danny.moesch@icloud.com> | 2022-06-23 11:15:28 +0200 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2022-06-23 11:20:20 +0200 |
| commit | 798c0566269382868a6b3f54a21a301012935042 (patch) | |
| tree | b46b0087816fd90256acfb836302aa395f3ffc03 | |
| parent | 3988fce62fa3e3c96a5c86fc4079ff7cbcc99d04 (diff) | |
Fix link for creduce building/installation
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d4090f66..0ffd5b4f 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -404,7 +404,7 @@ $ brew install creduce $ # Etc... ``` -[Otherwise, follow these instructions for building and/or installing `creduce`.](https://github.com/csmith-project/creduce/blob/master/INSTALL) +Otherwise, follow [these instructions](https://github.com/csmith-project/creduce/blob/master/INSTALL.md) for building and/or installing `creduce`. Running `creduce` requires two things: |