On Tue, Jun 12, 2012 at 11:44 AM, nitralime <email@example.com>
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...