* 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?