Add build scripts for dist

This commit is contained in:
Eric Fennis
2020-07-18 00:52:09 +02:00
parent de6906e242
commit eee84b0edf
13 changed files with 151 additions and 69 deletions