Benjamin Lutz whom he got to solve my latex PDF vs. DVI generation
problem, and who supplied a fix that makes simulavr's documentation
build again. That way, I could reenable the doc generation for the
port I just turned off about a day ago in order to unbreak the port.
Submitted by: Benjamin Lutz <benlutz@datacomm.ch>
