From 51f99ae2509348f21fa03de27e86c123065ff3b7 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Wed, 13 Jan 2021 13:05:20 +0100
Subject: contrib/jenkins: don't build osmo-gsm-manuals

Related: OS#4912
Change-Id: Ie77a81d3bd7cdb739fa082d9e1b5ddeba433a9db
---
 contrib/jenkins.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c3a1570..17345a6 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -38,7 +38,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
 
-- 
cgit v1.2.3