I'm afraid you're out of luck. I do
English to Spanish Translation, and even on that site (can't remember the exact URL) you can find links to different robot translators, some developed by independent agencies... but I work as a translator in three different languages and the best ones are online and quite well known: google and babel talk.
You have some apps and modules for web design that let you translate documents and websites, but never heard one with pdf. Keep in mind that the software wouldn't just replace characters, since pdfs are read-only... you would need to write a program to design a new pdf from scratch, puting the text in place and copying the looks of the original.
Manual is the best way to go, I'm afraid. And if you are using machine translators for anything other than getting a general idea of what something says, ALWAYS have someone proof read and edit it.