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

Related: OS#4912
Change-Id: Ie77a81d3bd7cdb739fa082d9e1b5ddeba433a9db
This commit is contained in:
Oliver Smith 2021-01-13 13:05:20 +01:00
parent 12304c0e5a
commit 51f99ae250
1 changed files with 0 additions and 1 deletions

View File

@ -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