commit | 5e06846b5244ddead40b8f81ab3561e459507ff5 | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Fri Dec 07 15:00:46 2018 +0100 |
committer | Oliver Smith <osmith@sysmocom.de> | Wed Dec 12 14:08:55 2018 +0100 |
tree | bf411163c4a17e7f6b660df3788f614de9de54e8 | |
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