<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Fri, Dec 7, 2018 at 6:11 PM Raphael Isemann via lldb-dev <<a href="mailto:lldb-dev@lists.llvm.org">lldb-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think if we want to actually lower the entry barrier for<br>
contributing/fixing things on the website, then the server should do<br>
this. From what I know the other LLVM projects also generate the HTML<br>
on the server (at least I've never seen anyone commit generated HTML<br>
files), so this hopefully shouldn't be too complicated.<br></blockquote><div><br></div><div>Agree. Also, there's enough differences between the generated HTML for various versions of the tools that having it happen on the server would be good. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I think in general this approach is really nice. Thanks a lot for the<br>
work @Jonas!<br></blockquote><div><br></div><div>Indeed!<br><br></div><div> - Bruce</div><div><br></div></div></div>