Re: [Vote] Doc format for release

[Stefano Mazzocchi]

Upayavira wrote:

Pier Fumagalli wrote:

On 17 Oct 2005, at 10:52, Carsten Ziegeler wrote:

1) a PDF of the whole doc
2) a set of HTML files
3) Both

2 or 3... Not everywhere there are nice PDF browsers available...

2. HTML Files.

PDF can go on website. Otherwise it adds 5Mb to the download, and surely
we want to be reducing not increasing?

+1

--
Stefano.