Closed
Description
src/grammar/README.md is outdated. First, it still contains mentions of the legacy make system. Also, while make and make tidy technically might work, make check-build-lexer-verifier
doesn't work at least since commit 9ab8090 and the claim that make tidy includes the check is wrong even longer (d3b050c).
It should be updated. Most likely the the checks have to be ported over to the new system as well.