retronetworking
/
osmo-e1-hardware
mirror of https://gerrit.osmocom.org/osmo-e1-hardware
13
0
Fork 0
Code Issues Projects Releases Wiki Activity

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

Related: OS#4912
Change-Id: Ie2f193656386038872adddfbd770ea193ace92e5
This commit is contained in:
Oliver Smith 2021-01-13 13:18:34 +01:00
parent d37ed5339c
commit d7c51ad692
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
contrib/jenkins.sh
View File

@ -67,7 +67,6 @@ fi
# 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