Closed thisac closed 1 year ago
Why not require windows developers (if there are any) to choco install make, and then we don't need this duplication (in a horrible language that batch script is).
I mainly added it since it was easy and it would add immediate support for the make commands for Windows users (without having to install any third party package managers). We also already have a make.bat
in the docs (due to Sphinx), and in many of our SDK docs folders, so it made sense just adding a connecting one in root.
Not a necessity, just a simple quality of life enhancement for a potential few.
make.bat
batch file for Windows.make install
command.make docs
command to makefile.