[zrail]

There is actually an Apache project that can extract the text from a PDF. It does a passable job, but like I said all of the formatting is gone.

http://pdfbox.apache.org/userguide/text_extraction.html

[Toshio]

There is a very good pdf-to-html converter at [0], so it's a two-step process.

[0] https://github.com/coolwanglu/pdf2htmlEX