9
0
Fork 0

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

Related: OS#4912
Change-Id: Idb3b05412b99484f7f7de91ee96c69bfb4e3d511
This commit is contained in:
Oliver Smith 2021-01-13 13:09:09 +01:00
parent 2cdf1c37a9
commit 73790ba26b
1 changed files with 0 additions and 1 deletions

View File

@ -54,7 +54,6 @@ build_project() {
# Build and publish manuals
if [ "$WITH_MANUALS" = "1" ]; then
# Build all manuals first
osmo-build-dep.sh osmo-gsm-manuals
for dir in "$base"/manuals/*/; do
make -C "$dir"
done