According to the Jaguar FAQ you can download the official "Jaguar Development Manual" as .pdf format from "http://jdc.atari-computer.de/manual.htm" or "www.atari-jaguar.de". But it seems that those sites do not longer exists.
Is there any other location where I can find it?
BTW I already know about the underground developer doxs at "http://www.geocities.com/SoHo/1460/dox.html"