Rework dist process and add minimal documentation#137

Merged

silvanocerza merged 2 commits intomainfrom

scerza/fix-dist-task

Jan 7, 2021

Commits on Jan 4, 2021

[skip changelog] Rework a dist process and add minimal documentation
silvanocerza
committed

Commits on Jan 5, 2021

[skip changelog] Change how version string is calculated
silvanocerza
committed