<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Jan 6, 2017 at 6:53 PM, Jorge García <span dir="ltr"><<a href="mailto:jgarciao@gmail.com" target="_blank">jgarciao@gmail.com</a>></span> wrote:<span class=""><br>...<br></span><span class=""></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class="">> How do the changes to the site work? Are they just static pages? <br><br></span>The minimal changes required are in PR119 [1]:  If the page starts with /docs the layout adds the docs_nav partial that renders the docs navigation tree on the left (see screenshot at PR120 [2] ). <br>All the actual docs regular haml.markdown files<span class=""><br></span></div></blockquote><div><br></div><div>Cool, thanks for the information!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class=""><br>> Are there any options for search?<br><br></span>My changes are based on Middleman's website [3].</div></blockquote><div><br></div><div>That looks nice!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"> They have implemented search using DocSearch[4], but I haven't looked yet at this part.<br><br>If you are interested I can try to see how it works. I also like the ReadTheDocs option, so whatever you think is best.<br></div></blockquote><div><br></div><div>I'd be happy with either solution also. It's really up to the people writing the docs and maintaining the website - meaning Alex and Jakub. Jakub's expressed a preference for ReadTheDocs, since it means less maintenance on the website.<br></div><div><br></div><div>Allan <br></div></div></div></div>