Several modifications to dockerfile's ARGs, fixed a bug in the makefile, and updated some docs#43

Merged

mattaereal merged 3 commits intodevelopfrom misc-dockerfile-make-docs

Oct 17, 2024

+57-45

Commits on Oct 16, 2024

Commits on Oct 17, 2024

ci: build with make
reynico
committed