Closed damonbayer closed 3 weeks ago
The makefile should be a bit more flexible and allow us to convert specific files or all the files.
Closed by #172
Goal
The makefile should be a bit more flexible and allow us to convert specific files or all the files.