> Testing the PDF conversion would also be a nice thing to do. Hi Rafael, I've successfully built the PDFs some time ago, but I think I've used a different conversion than stated in the Makefile. I'll have a look on it the next days. Regards, Andi