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

Related: OS#4912 Change-Id: Iae17e6d6f4242f98676dd3a1b01c419ac7288047
2021-01-13 12:56:55 +01:00 · 2021-01-13 12:56:55 +01:00 · e590dc15f4
parent 05eea1ef0a
commit e590dc15f4
1 changed files with 0 additions and 1 deletions
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@ -28,7 +28,6 @@ export PATH="$inst/bin:$PATH"
 # Additional configure options and depends
 CONFIG=""
 if [ "$WITH_MANUALS" = "1" ]; then
-	osmo-build-dep.sh osmo-gsm-manuals
 	CONFIG="--enable-manuals"
 fi