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

Related: OS#4912
Change-Id: I5349a67dcc6dd47e5a1cc9f8d30a2ca7aa1094f9
This commit is contained in:
Oliver Smith 2021-01-13 13:10:04 +01:00
parent d8b9e552db
commit 1a469b3a7b
1 changed files with 0 additions and 1 deletions

View File

@ -36,7 +36,6 @@ osmo-build-dep.sh libosmo-abis
# Additional configure options and depends
CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
osmo-build-dep.sh osmo-gsm-manuals
CONFIG="--enable-manuals"
fi