Joerg Wunsch c8694fab91 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>		2005-08-01 06:28:20 +00:00
..
patch-configure	Many thanks to hrs who kept track of my emergency call, and to	2005-08-01 06:28:20 +00:00
patch-doc-texinfo.tex	Many thanks to hrs who kept track of my emergency call, and to	2005-08-01 06:28:20 +00:00