Change in osmo-iuh[master]: contrib/jenkins.sh: werror with WITH_MANUALS too