fix: help message flags, removes -f flag and adds -g flag (#5685) Closes #5682 - Removes the broken `-f` flag from the help message which doesn't behave as expected as an alternative to `--features`. - Adds the `-g` flag to the help message which is a working alternative to the `--githash` flag.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).