Ralf Wildenhues wrote: > * Dave Korn wrote on Tue, Mar 24, 2009 at 08:40:08PM CET: >> Ralf Wildenhues wrote: >> >>> Thanks for the report. OK to push this patch, tested 'make info pdf >>> html'? >> You forgot "dvi". > > I forgot to mention it, but I did test it. OK?
Well, it aint my say-so, but it ought to be!
cheers,
DaveK
