Build failed in Jenkins: Osmocom-release-manuals #93