Documentation does not mention the default parameter for BuildDistribution.sh, fixed.
Merge pull request #689 from NickyWeber/bugfix/#688_documentation_incomplete

Bugfix/#688 documentation incomplete