Puedes usar la librería fpdf de php para generar documentos PDF a partir de HTML. Por otro lado Moodle usa la librería TCPDF que se encuentra en lib/pdflib.php
Cosas de Desarrolladores
Crear PDF
Este hilo de discusión ha sido cerrado por lo que no admite respuestas.