contrib/jenkins: don't build osmo-gsm-manuals

Related: OS#4912
Change-Id: I339cc37a259e30b131fadbdaebd413c54b04f0a0
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 46d38f7..a3a3d4a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -28,7 +28,6 @@
 
 CONFIG=""
 if [ "$WITH_MANUALS" = "1" ]; then
-	osmo-build-dep.sh osmo-gsm-manuals
 	CONFIG="--enable-manuals"
 fi