![](https://secure.gravatar.com/avatar/700f7602e51ace6123a78c7d29d0dc9a.jpg?s=120&d=mm&r=g)
29 Oct
2009
29 Oct
'09
5:23 a.m.
Hi, I'd like to know if the latex source of the manual is available somewhere. I want to generate an one-page-only html. Cheers, Pedro