Re: Small error in manual

[Ralf Wildenhues]

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