From 4642ab68278aa2be16c660fc947f36635c46ae2d Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Wed, 13 Jan 2021 13:10:55 +0100 Subject: [PATCH] contrib/jenkins: don't build osmo-gsm-manuals Related: OS#4912 Change-Id: If8f88bde0614547bb5c4f4f6e97fc20fcecd8a2c # --- --- contrib/jenkins.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 07a02c1a9..fafbdfba2 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -52,7 +52,6 @@ done # Build and publish manuals if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals make -C "$base/doc/manuals" make -C "$base/doc/manuals" check