Generation of PDF documents