On Tue, Jun 12, 2012 at 11:44 AM, nitralime <nitralime@googlemail.com> wrote:
It would be very nice to have the documentation also in
a print-friendly format (like a single HTML page or PDF "etc.")

I cannot promise that this can be easily done with the current Makefiles, but the whole documentation is in Docbook format, which anyone can process to their wishes. Help is welcome. I am not an expert in XSL processing...

Juanjo

--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com