fix: redundant and wrong case in `forEachModuleInDir` Calling `f` on `dir.lean` for each `dir` is unnecessary as we call it on each file anyway and the check was wrong because it ignored `entry.root`.
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).