<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Apr 8, 2016 at 12:03 PM, Loïc Hoguin <span dir="ltr"><<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Or included directly in the Erlang documentation? :-)</blockquote><div><br></div><div>I'll see if can include it in the internal docs section of erts when 19 is released.</div><div><br></div><div>As for pdf version, you can also use the print option from your web browser to save the page as a pdf.</div></div></div></div>