From d81cba4b068b4ffebeead9f31afd63e649eab404 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Mon, 21 Sep 2020 11:42:24 +0100 Subject: [PATCH] Update contributing instructions in README Signed-off-by: Josh Berdine --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0965dd7a..0d4cef5c 100644 --- a/README.md +++ b/README.md @@ -302,8 +302,8 @@ to list authors based on the git commits. Assuming your are in a clone of the repository: 1. Some dependencies are required, you'll need - `opam install benchmark qcheck qtest iter`. -2. run `make devel` to enable everything (including tests). + `opam install benchmark qcheck qtest iter gen mdx uutf`. +2. run `make all` to enable everything (including tests). 3. make your changes, commit, push, and open a PR. 4. use `make test` without moderation! It must pass before a PR is merged. There are around 1150 tests right now, and new