AlanRosenthal opened a new pull request #5163: URL: https://github.com/apache/incubator-nuttx/pull/5163
## Summary This PR renames `tools/Makefile.*` to have the `.mk` extension. This PR also updates `README.md` and other files that references the other files. ## Impact By using a standard extension for Makefiles (https://www.file-extension.info/format/mk), editors will auto-format files. This change will also improve developer ergonomics when searching for specific files ## Testing Verified locally that build still works, CI will verify more! -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
