Fix release-related things
contrib changes need to be reflected in binary-distribution.sh
and documentation building too.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.