| From: Eric Tanter (etanter at dcc.uchile.cl) Date: Sat May 1 11:00:53 EDT 2010 |
|
On May 1, 2010, at 10:51 AM, Jay McCarthy wrote: > If you use the --htmls option with your scribble command line it will > do that. indeed, thanks! > I don't know if you can make the HTML button do it. that would be cool (I got used to it by now!) -- Éric
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}