Skip to content

Ensure dist dir exists when running 'make dist'

Dirk HOFFMANN requested to merge feature/ensure_dist_dir_exists into develop

Created by: elbenfreund

This PR makes sure that the dist dir exists when the corresponding make target is run.

In addition to that it also adds the build and dist dirs to our gitignore and make a trivial improvement to the makefile.

Merge request reports

Loading