<br><br><div class="gmail_quote">On Wed, Apr 28, 2010 at 03:25, Eric Tanter <span dir="ltr"><<a href="mailto:etanter@dcc.uchile.cl">etanter@dcc.uchile.cl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
Also, with scribble/sigplan, the nice PDF/HTML buttons disappear.<br></blockquote></div><br>There's a PDF button? Is there something special to do to activate this one? I only have the HTML one in #lang scribble/manual...<br>
<br>Thanks.<br>