Alan Rosenthal f4d74b52d8 Rename tools/Makefile.* to have the .mk extension ... This PR renames `tools/Makefile.*` to have the `.mk` extension. This PR also updates `README.md` and other files that references the other files. Note: Skipped Makefile.host for this PR since it caused failures in CI for the sim build 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 Verified locally that build still works, CI will verify more!		2022-01-05 18:33:16 +08:00
..
pic32mx	Rename tools/Makefile.* to have the .mk extension	2022-01-05 18:33:16 +08:00
pic32mz	Rename tools/Makefile.* to have the .mk extension	2022-01-05 18:33:16 +08:00