K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2005-08-01T06:28:20.000000Z
K 7
svn:log
V 386
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 <benlutz@datacomm.ch>

END