<div dir="ltr">Thanks for a good search options in documentation<div><br></div><div> The documentation has integrated full-text search by algolia[2]<br>  * <a href="https://beta.erlang.org/doc/" target="_blank">https://beta.erlang.org/doc/</a></div><div><br></div><div>👍👍<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Sep 22, 2021 at 10:44 PM Max Lapshin <<a href="mailto:max.lapshin@gmail.com">max.lapshin@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">New search is working cool!<br>
<br>
Static site generator is also a good idea. We moved there a long time<br>
ago and have split the marketing part and documentation to different<br>
teams.<br>
</blockquote></div>