Documentation: Add build support for documentation in pdf format