TeX extension for direct creation of PDF
