Distribute.sh script now builds the documentation also.