>>788
PDFからプレーンテキストにする時はpdf2txtを使ってるかな。
日本人が開発したこともあって無印JISや縦書きPDFにも対応してるし。
pdftotextってpoppler-toolsだよね? あれは縦書きとかどうなんだろう。