Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[docs-only] Run
make build
instead of make
The current 'Build and run it yourself' instructions from the readme will fail if there are unreleased changes, as described in #1654. As per #1654 (comment), it should however be enough to run `make build` instead of the `make` step.
- Loading branch information