Re #8882. Update instructions.
Merge branch 'feature/8882_jenkins_build_scripts' into develop