<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Aug 18, 2016 at 1:47 PM, Dmitri Gribenko <span dir="ltr"><<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, Aug 18, 2016 at 2:16 PM, Alexander Kornienko <<a href="mailto:alexfh@google.com">alexfh@google.com</a>> wrote:<br>
>   2. Dmitri, can you update Sphinx on the clang-sphinx-docs buildbot to the<br>
> same version that is used to build docs for <a href="http://llvm.org" rel="noreferrer" target="_blank">llvm.org</a>?<br>
<br>
</span>Hi Alexander,<br>
<br>
I'm running python-sphinx 1.4.5-1 from Debian unstable, this is the<br>
latest version available in the repository.  Downgrading the bot to<br>
1.1.3 seems to be non-trivial (might require adding a Python<br>
virtualenv or something like that).<br></blockquote><div><br></div><div>We don't need to downgrade anything. The 1.1.3 was used to build <a href="http://llvm.org">llvm.org</a> docs _before_ the upgrade, now it's using 1.4.5 as well, so this is already consistent. Nothing is needed here at this point.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class=""><br>
>   3. Dmitri, could you include clang-tools-extra docs to the build steps on<br>
> the clang-sphinx-docs buildbot?<br>
<br>
</span>I would not object to such a change, but I don't have the bandwidth to<br>
make it right now.  I would appreciate if someone submitted a patch.<br></blockquote><div><br></div><div>Where's the buildbot config? I can try to add the step.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
Dmitri<br>
<br>
--<br>
main(i,j){for(i=2;;i++){for(j=<wbr>2;j<i;j++){if(!(i%j)){j=0;<wbr>break;}}if<br>
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com">gribozavr@gmail.com</a>>*/<br>
</font></span></blockquote></div><br></div></div>