diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-12-07 15:00:46 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2018-12-12 14:08:55 +0100 |
commit | 5e06846b5244ddead40b8f81ab3561e459507ff5 (patch) | |
tree | bf411163c4a17e7f6b660df3788f614de9de54e8 /openbsc | |
parent | 117d7a963441c27d98a083c54692c5b8765779d5 (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.
Related: OS#3385
Change-Id: I89be11d346d50169282c991235ffc47dacc30b11
Diffstat (limited to 'openbsc')
0 files changed, 0 insertions, 0 deletions