unlängst war ein artikel im c´t über pdf-extraktoren, demnach ist der beste google selbst (funkt natürlich nur, wenn pdf im internet ist), auch sehr gut ist ghostscript mit ghostview, wandelt den text aber nicht nach html, sondern txt um,
schau mal auf der c´t-homepage (
www.heise.de), ob du was findest
lg, rotkiv