PDF format guides

[Rahul Sundaram]

Karsten Wade wrote:
> On Thu, 2007-03-01 at 12:57 +0000, Dimitris Glezos wrote:
>> O/H Rahul Sundaram έγραψε:
>>> I would like to have our guides like the Installation one in PDF format.
>>> Is there any quick way to get them?
>> You can quickly convert any HTML page to PDF using the `htmldoc` package. First
>> build the doc using `make html-nochunks` and then pass it through the program.
>>
>> It's in Extras.
> 
> If anyone wants to submit a patch to our toolchain to make this an
> option for 'make pdf', please do so.
> 
> It's ugly but it's better than broken.
> 
> Any objection to putting up PDF versions of our HTMl docs built using
> htmldoc, even though they are ugly?
> 
> Other thoughts?

Yes. Please do this. People have been bugging me to get a 
redistributable PDF for a while now.

Rahul