diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 87d860156..2325897a9 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -50,7 +50,6 @@ fi
 # Additional configure options and depends
 CONFIG=""
 if [ "$WITH_MANUALS" = "1" ]; then
-	osmo-build-dep.sh osmo-gsm-manuals
 	CONFIG="--enable-manuals"
 fi