On Fri, Apr 1, 2016 at 10:55 AM, Richard Gaskin <ambassador at fourthworld.com> wrote: > -hh wrote: > > My first choice for that is 'ghostscript'. >> > > Thanks. Turns out that's also in my Ubuntu system so I'll give it a go. > > From the command line, there are also pdf2txt and pdftotxt (these are separate programs -- Dr. Richard E. Hawkins, Esq. (702) 508-8462