Many thanks to hrs who kept track of my emergency call, and to
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 <email@example.com>