Change in osmo-iuh[master]: jenkins.sh: osmo-iuh no longer has doc/manuals/ make target