| commit | d7c51ad6927ae4937f5365c161b212f32c8c8d6e | [log] [tgz] |
|---|---|---|
| author | Oliver Smith <osmith@sysmocom.de> | Wed Jan 13 13:18:34 2021 +0100 |
| committer | Oliver Smith <osmith@sysmocom.de> | Wed Jan 13 13:18:46 2021 +0100 |
| tree | 972452ef3ea4ca4eb13a49b0b8c0b05f7910934e | |
| parent | d37ed5339c35cb08c6169a0c0ebb39a36fa632f4 [diff] |
contrib/jenkins: don't build osmo-gsm-manuals Related: OS#4912 Change-Id: Ie2f193656386038872adddfbd770ea193ace92e5
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 39d7f4c..d69fcbb 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -67,7 +67,6 @@ # manuals build + optional publication if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals make -C doc/manuals clean all if [ "$PUBLISH" = "1" ]; then make -C doc/manuals publish