Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds a
make.bat
file to mimic the action ofMakefile
on Windows. Run usingmake
in the same directory asmake.bat
.This
make.bat
was generated using make-to-batch, however, there are a additional steps needed after conversion:python3
withpython
.DEFAULT_GOAL
with a batch equivalentprepare_docs_folder
in this case)Ideally, these would be rectified by a series of shell commands, so that the
make.bat
can be reproducibly generated when theMakefile
changes. The same steps should work for converting the currentMakefile
at the project root too, if this is useful for development of the template on Windows.@Kiki-Jiji I don't have easy access to unix at work, so any help with the above would be very welcome 😄