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

Related: OS#4912
Change-Id: I339cc37a259e30b131fadbdaebd413c54b04f0a0
This commit is contained in:
Oliver Smith 2021-01-13 13:11:33 +01:00
parent d37d3c8181
commit 220f0e2d94
1 changed files with 0 additions and 1 deletions

View File

@ -28,7 +28,6 @@ osmo-build-dep.sh asn1c aper-prefix
CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
osmo-build-dep.sh osmo-gsm-manuals
CONFIG="--enable-manuals"
fi