Do we still need that Makefile

[MatrixCrawler]

Is this in use somewhere since we switched to github-actions for the build process?

[warrensbox]

Actually I do use the Makefile for local development (and I still use it)

[yermulnik]

Actually I do use the Makefile for local development (and I still use it)

I support that (despite I don't use is as I don't do lots of development on tfswitch often).