diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index da8703a22..4b9d532c1 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -54,7 +54,6 @@ build_project() {
 # Build and publish manuals
 if [ "$WITH_MANUALS" = "1" ]; then
 	# Build all manuals first
-	osmo-build-dep.sh osmo-gsm-manuals
 	for dir in "$base"/manuals/*/; do
 		make -C "$dir"
 	done