A solution for Linux:On 08/11/2014 07:44 AM, Alain Aupeix wrote:Le 11/08/2014 14:28, Ron Johnson a écrit :Humm ... not so trivial, because you must do it for each page of the documentation ...Print the html to PDF? (Don't know what browser you use, but it's trivial in Firefox.)
Or there is a trick that I don't know ...
Each *html* page, but ISTM that the manual has been organized so that each html page is equivalent to a book's *chapter*.
That seriously cuts down on the amount of manually printing to PDF.