Fix pdf generation

PDF generation got rotten and this fixes it. Also I had to disable automatic generation of dpl-docs because it's broken. Please review timely, thanks!