... and now if you use the "Download zip" button on https://git.mahara.org/mahara/mahara or https://git.mahara.org/mahara/mahara/tree/15.10_STABLE (i.e, the branch URLs, not the release tag URLs), the auto-generated ZIP file you receive contains every file in the git repo, including the Makefile and all the others needed to build the themes.
... and now if you use the "Download zip" button on https:/ /git.mahara. org/mahara/ mahara or https:/ /git.mahara. org/mahara/ mahara/ tree/15. 10_STABLE (i.e, the branch URLs, not the release tag URLs), the auto-generated ZIP file you receive contains every file in the git repo, including the Makefile and all the others needed to build the themes.