2011/8/13, Cameron Simpson <cs at zip.com.au>: [...] > Personally I use pdftohtml to convert PDFs (then an HTML-to-text > pipeline on the end of that). Possibly pdftotext does exactly that > anyway. Of course it achieves nothing for me if the PDF is a scan. Unless it has an OCR layer. Andras