pdf nach rtf/doc umwandeln

[Frank]

Hallo Forum,
kennt jemand eine Möglichkeit eine PDF-DAtei nach RTF oder DOC umzuwandeln? Es geht um das PHP-Manual, bei dem die Suchfunktion sehr sehr langsam läuft.
Eine schönen Sonntag wünsche ich.
Frank