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