diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-11-29 14:57:28 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-12-05 13:47:26 +0100 |
commit | 64bc9400d489857646d531ff6ddf3379e8d993d0 (patch) | |
tree | 8a9cba121ca783d046b85eacecadd9a8ae467ce2 /contrib/systemd/Makefile.am | |
parent | 61469d1d86b6a347823efecffa037997b1cd08da (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 the file.
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: Ia5b112fc1663b78800d3c2c4ff2a0771cf5af11b
Diffstat (limited to 'contrib/systemd/Makefile.am')
0 files changed, 0 insertions, 0 deletions