Skip to content

Commit

Permalink
Update scripts path in CONTRIBUTING doc
Browse files Browse the repository at this point in the history
This change fixes the scripts path in the CONTRIBUTING.md file.
  • Loading branch information
TristanCacqueray committed May 2, 2021
1 parent 0cd76fa commit 55f60b1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -187,10 +187,10 @@ following these instructions:

Once you do that, you can run the following scripts:

* `./script/generate-test-files.sh` - This generates `.diag` files from `.cbor`
* `./scripts/generate-test-files.sh` - This generates `.diag` files from `.cbor`
files

* `./script/lint-prelude.sh` - This freezes and lints the Prelude
* `./scripts/lint-prelude.sh` - This freezes and lints the Prelude

## How do I get the "commit bit"?

Expand Down

0 comments on commit 55f60b1

Please sign in to comment.