<p>osmith <strong>uploaded patch set #3</strong> to this change.</p><p><a href="https://gerrit.osmocom.org/12076">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">contrib/jenkins_*.sh: build and publish manuals<br><br>Install osmo-gsm-manuals like any other dependency. Add the bin subdir<br>of the installed files to PATH, so osmo-gsm-manuals-check-depends can<br>be used by ./configure --enable-manuals.<br><br>Add a PUBLISH environment variable, which will be set by the<br>master-builds Jenkins job. When it is set, upload the generated PDFs.<br><br>This project is usually built in various configurations. Add<br>WITH_MANUALS to only build the manuals in one of these configurations,<br>and describe all input parameters on top of jenkins_bts_model.sh.<br><br>Change the top description line to look like all the other<br>contrib/jenkins.sh files (from other repositories), so it is clear that<br>this is the entry point of Jenkins (and not the other<br>contrib/jenkins*.sh scripts).<br><br>Related: OS#3385<br>Change-Id: If51194cc595bd8cf1081b35ab0e1a5ddcd448860<br>---<br>M contrib/jenkins_bts_model.sh<br>M contrib/jenkins_common.sh<br>2 files changed, 23 insertions(+), 2 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-bts refs/changes/76/12076/3</pre><p>To view, visit <a href="https://gerrit.osmocom.org/12076">change 12076</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/12076"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-bts </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newpatchset </div>
<div style="display:none"> Gerrit-Change-Id: If51194cc595bd8cf1081b35ab0e1a5ddcd448860 </div>
<div style="display:none"> Gerrit-Change-Number: 12076 </div>
<div style="display:none"> Gerrit-PatchSet: 3 </div>
<div style="display:none"> Gerrit-Owner: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>