From 63519744642bf070da453330508294b33c211285 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Wed, 13 Jan 2021 13:06:39 +0100
Subject: [PATCH] contrib/jenkins: don't build osmo-gsm-manuals

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

diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh
index 085ca1e45..0c0060a9b 100644
--- a/contrib/jenkins_common.sh
+++ b/contrib/jenkins_common.sh
@@ -43,7 +43,6 @@ build_bts() {
     conf_flags="$*"
     if [ "$WITH_MANUALS" = "1" ]; then
         conf_flags="$conf_flags --enable-manuals"
-        osmo-build-dep.sh osmo-gsm-manuals
         export PATH="$inst/bin:$PATH"
     fi