<p>osmith <strong>uploaded patch set #7</strong> to this change.</p><p><a href="https://gerrit.osmocom.org/11976">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">contrib/jenkins.sh: build and publish manuals<br><br>Add new environment variables WITH_MANUALS and PUBLISH to control if<br>the manuals should be built and uploaded. Describe all environment vars<br>on top of the file.<br><br>When WITH_MANUALS is set, install osmo-gsm-manuals like any other<br>dependency and add --enable-manuals to the configure flags (for "make"<br>and "make distcheck"). Add the bin subdir of the installed files to<br>PATH, so osmo-gsm-manuals-check-depends can be used by ./configure.<br><br>Related: OS#3385<br>Change-Id: Ia1a6ab64c7912f30a693ca4f5f474f22d72b8873<br>---<br>M contrib/jenkins.sh<br>1 file changed, 19 insertions(+), 2 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/osmo-hlr refs/changes/76/11976/7</pre><p>To view, visit <a href="https://gerrit.osmocom.org/11976">change 11976</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/11976"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: osmo-hlr </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newpatchset </div>
<div style="display:none"> Gerrit-Change-Id: Ia1a6ab64c7912f30a693ca4f5f474f22d72b8873 </div>
<div style="display:none"> Gerrit-Change-Number: 11976 </div>
<div style="display:none"> Gerrit-PatchSet: 7 </div>
<div style="display:none"> Gerrit-Owner: osmith <osmith@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Harald Welte <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>
<div style="display:none"> Gerrit-Reviewer: Pau Espin Pedrol <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: osmith <osmith@sysmocom.de> </div>