diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-11-30 17:08:51 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-12-05 13:10:55 +0100 |
commit | 9c4a6facdbce004fcad01f274714bf458b0beadf (patch) | |
tree | 8f818e3c97495ba1a1850d78a50f445d89413988 /COPYING | |
parent | c606103d9f6dd406c59c4927f703281d7817f5c9 (diff) |
contrib/jenkins_*.sh: build and publish manuals
Add new environment variables WITH_MANUALS and PUBLISH to control if
the manuals should be built and uploaded. Describe all environment vars
on top of jenkins_bts_model.sh. Change the top description line to look
like all the other contrib/jenkins.sh files (from other repositories),
so it is clear that this is the entry point of Jenkins (and not the
other contrib/jenkins_*.sh scripts).
When WITH_MANUALS is set, install osmo-gsm-manuals like any other
dependency and add --enable-manuals to the configure flags (for "make"
and "make distcheck"). Add the bin subdir of the installed files to
PATH, so osmo-gsm-manuals-check-depends can be used by ./configure.
Related: OS#3385
Change-Id: If51194cc595bd8cf1081b35ab0e1a5ddcd448860
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions