<pre style='margin:0'>
Rainer Müller (raimue) pushed a commit to branch master
in repository macports-infrastructure.

</pre>
<p><a href="https://github.com/macports/macports-infrastructure/commit/1f14a3203abfb92b2dcdee787ffd571ee5dc8393">https://github.com/macports/macports-infrastructure/commit/1f14a3203abfb92b2dcdee787ffd571ee5dc8393</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 1f14a3203abfb92b2dcdee787ffd571ee5dc8393
</span>Author: Rainer Müller <raimue@macports.org>
AuthorDate: Tue Jul 11 18:19:35 2017 +0200

<span style='display:block; white-space:pre;color:#404040;'>    buildbot: Use toolsprefix for man pages
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    It is kind of a hack to pass prefix=..., but otherwise it would always
</span><span style='display:block; white-space:pre;color:#404040;'>    try /opt/local here.
</span>---
 buildbot/master.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/buildbot/master.cfg b/buildbot/master.cfg
</span><span style='display:block; white-space:pre;color:#808080;'>index de41dcf..e6ea734 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/buildbot/master.cfg
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/buildbot/master.cfg
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -720,7 +720,7 @@ if 'man' in config['deploy']:
</span>         haltOnFailure=True))
     # TODO: check for existence of tools in toolsprefix
     jobs_man_factory.addStep(steps.ShellCommand(
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        command='make -C doc html',
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        command='make -C doc html prefix=' + config['toolsprefix'],
</span>         name='make',
         description=['generate man pages'],
         descriptionDone=['generated man pages'],
</pre><pre style='margin:0'>

</pre>