Convert a single PDF file to text file.